Base Template ClassificationOfIndividual

This is a template for classification of individuals (as opposed to pairs of individuals, classes, or relations).
ClassificationOfIndividual(a, b) means that a is an individual, b is a class of individuals, and a is an instance of b.

Roles:
1 hasIndividual PossibleIndividual
2 hasClass ClassOfIndividual

Axiom:

ClassificationOfIndividual(x1, x2) <-> 
PossibleIndividual(x1) & 
ClassOfIndividual(x2) & 
ClassificationTemplate(x1, x2) . 

EXAMPLE The classification of Alfred as an Engineer can be expressed using this template. Note that the reference individuals Alfred and Engineer are not themselves defined by the template statement, each may have a more specialized entity type than shown in the diagram.