Base Template ClassificationOfClassOfRelationship
This is a template for classifying relations.
ClassificationOfClassOfRelationship(a, b) means that a is a relation and b a class of relations,
and that a is a member of b.
Roles:
1 hasClass ClassOfRelationship
2 hasClassClassifier ClassOfClassOfRelationship
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).