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)

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