=== Base Template !ClassificationOfClassOfIndividual ===


[[br]]This is a template for classifying classes that only have individuals as members. 
[[br]]
[[br]]!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. 
[[br]]
[[br]]Roles: 
[[br]]1 hasClass !ClassOfIndividual 
[[br]]2 hasClassClassifier !ClassOfClassOfIndividual 
[[br]]

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)