Base Template ClassificationOfClassOfIndividual

This is a template for classifying classes that only have individuals as members.

ClassificationOfClassOfIndividual(a, b) means that a is a first-order class, that b is a secondorder class, and that a is a member of b.

Roles:
1 hasClass ClassOfIndividual
2 hasClassClassifier ClassOfClassOfIndividual

Axiom:

ClassificationOfClassOfIndividual(x1, x2) <-> 
ClassOfIndividual(x1) & 
ClassOfClassOfIndividual(x2) & 
ClassificationOfClass(x1, x2) . 

NOTE This template is a specialised version of ClassificationOfClass, with the added restriction that the first argument is a first-order class (a ClassOfIndividual), and the second argument is a second-order class (a ClassOfClassOfIndividual).

EXAMPLE The expansion of the statement ClassificationOfClass(Drilling Class, Drill String)