| | 1 | === Base Template !EnumeratedSetOf2Classes === |
| | 2 | |
| | 3 | [[br]]!EnumeratedSetOf2Classes is a template for collecting two classes into a third. |
| | 4 | [[br]] |
| | 5 | [[br]]!EnumeratedSetOf2Classes(a, b, c) means that a, b, and c are classes, and that a has precisely |
| | 6 | [[br]]b and c as members. |
| | 7 | [[br]] |
| | 8 | [[br]]Roles: |
| | 9 | [[br]]1 hasClassified1 Class |
| | 10 | [[br]]2 hasClassified2 Class |
| | 11 | [[br]]3 hasEnumeratedSetOfClass !EnumeratedSetOfClass |
| | 12 | [[br]] |
| | 13 | |
| | 14 | Axiom: |
| | 15 | {{{ |
| | 16 | EnumeratedSetOf2Classes(x1, x2, x3) <-> |
| | 17 | Class(x1) & |
| | 18 | Class(x2) & |
| | 19 | EnumeratedSetOfClass(x3) & |
| | 20 | ClassificationTemplate(x1, x3) & |
| | 21 | ClassificationTemplate(x2, x3) & |
| | 22 | ClassificationTemplate(x3, SetOf2Classes) . |
| | 23 | }}} |
| | 24 | |
| | 25 | NOTE The order in which the first two arguments is given is insignificant. The numbering in role names (“Classified 1”, “Classified 2”) is only applied in order to distinguish the roles from each other. |
| | 26 | |
| | 27 | NOTE See 8.2.1 for further information on the representation used in this template. |
