| 1 | === Base Template !ClassificationOfRelationship === |
| 2 | |
| 3 | [[br]]This is a template for giving type to relationships. It is a classification template, restricted |
| 4 | to classifying pairs of things as members of relations. |
| 5 | [[br]] |
| 6 | [[br]]!ClassificationOfRelationship(a, b) means that a is an ordered pair, b is a relation, and a is a member of b. |
| 7 | [[br]] |
| 8 | [[br]]Roles: |
| 9 | [[br]]1 hasPair Relationship |
| 10 | [[br]]2 hasRelation !ClassOfRelationship |
| 11 | |
| 12 | Axiom: |
| 13 | {{{ |
| 14 | ClassificationOfRelationship(x1, x2) <-> |
| 15 | Relationship(x1) & |
| 16 | ClassOfRelationship(x2) & |
| 17 | ClassificationTemplate(x1, x2) . |
| 18 | }}} |
| 19 | |
| 20 | NOTE See also !InstanceOfRelation. |
| 21 | |
| 22 | EXAMPLE !ClassificationOfRelationship(hAlfred,ACME Co.i, Employment) expands to a representation structured as in the following diagram. Note that — the definition of the first argument (the specification of the entity type and members for the ordered pair) is not given as part of the template statement, — the entity type Relationship is abstract. In a valid instantiation of this template, the ordered pair will have an entity type that is a subtype of Relationship, |