| | 1 | === Base Template !ClassificationOfIndividual === |
| | 2 | |
| | 3 | [[br]]This is a template for classification of individuals (as opposed to pairs of individuals, classes, or relations). |
| | 4 | [[br]]!ClassificationOfIndividual(a, b) means that a is an individual, b is a class of individuals, and a is an instance of b. |
| | 5 | [[br]] |
| | 6 | [[br]]Roles: |
| | 7 | [[br]]1 hasIndividual !PossibleIndividual |
| | 8 | [[br]]2 hasClass !ClassOfIndividual |
| | 9 | |
| | 10 | Axiom: |
| | 11 | {{{ |
| | 12 | ClassificationOfIndividual(x1, x2) <-> |
| | 13 | PossibleIndividual(x1) & |
| | 14 | ClassOfIndividual(x2) & |
| | 15 | ClassificationTemplate(x1, x2) . |
| | 16 | }}} |
| | 17 | |
| | 18 | EXAMPLE The classification of Alfred as an Engineer can be expressed using this template. Note that the reference individuals Alfred and Engineer are not themselves defined by the template statement, each may have a more specialized entity type than shown in the diagram. |
