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.

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search