=== Base Template !ClassificationOfRelationship ===

[[br]]This is a template for giving type to relationships. It is a classification template, restricted 
to classifying pairs of things as members of relations. 
[[br]]
[[br]]!ClassificationOfRelationship(a, b) means that a is an ordered pair, b is a relation, and a is a member of b. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPair Relationship 
[[br]]2 hasRelation !ClassOfRelationship 

Axiom: 
{{{
ClassificationOfRelationship(x1, x2) <-> 
Relationship(x1) & 
ClassOfRelationship(x2) & 
ClassificationTemplate(x1, x2) . 
}}}

NOTE See also !InstanceOfRelation. 

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,