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.

1 hasIndividual PossibleIndividual
2 hasClass ClassOfIndividual


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.

About PCA
Reference Data Services