=== 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).