Base Template ClassificationOfClass

This is a template for classifying classes.

ClassificationOfClass(a, b) means that a is a class, that b is a class of classes, and that a is
a member of b.

Roles:
1 hasClass Class
2 hasClassClassifier ClassOfClass

Axiom:

ClassificationOfClass(x1, x2) <-> 
Class(x1) & 
ClassOfClass(x2) & 
ClassificationTemplate(x1, x2) .   

EXAMPLE Typical uses of this template is in classification of classes that are used by particular entities or which are defined in domain standards. No restriction on the order of the classes is imposed. As an example of classification of a second-order class by a third-order class, consider “the types of drill string belong to the drilling domain”. This could be expressed by ClassificationOfClass(Drilling Domain Class, Drill String Type)

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