=== Base Template !ClassificationOfClassOfRelationship ===
[[br]]This is a template for classifying relations.
[[br]]
[[br]]!ClassificationOfClassOfRelationship(a, b) means that a is a relation and b a class of relations,
[[br]]and that a is a member of b.
[[br]]
[[br]]Roles:
[[br]]1 hasClass !ClassOfRelationship
[[br]]2 hasClassClassifier !ClassOfClassOfRelationship
[[br]]
Axiom:
{{{
ClassificationOfClassOfRelationship(x1, x2) <->
ClassOfRelationship(x1) &
ClassOfClassOfRelationship(x2) &
ClassificationOfClass(x1, x2) .
}}}
NOTE This template is a specialised version of !ClassificationOfClass, with the added restriction that the first argument is a relation (a !ClassOfRelationship), and the second argument is a class of relations (a !ClassOfClassOfRelationship).