Base Template ClassificationOfClassOfRelationship


This is a template for classifying relations.

ClassificationOfClassOfRelationship(a, b) means that a is a relation and b a class of relations,
and that a is a member of b.

Roles:
1 hasClass ClassOfRelationship
2 hasClassClassifier ClassOfClassOfRelationship

Axiom:

ClassificationOfClassOfRelationship(x1, x2) <-> 
ClassOfRelationship(x1) & 
ClassOfClassOfRelationship(x2) & 
ClassificationOfClass(x1, x2) . 

NOTE This template is a specialised version of ClassificationOfClass, with the added restriction that the first argument is a relation (a ClassOfRelationship), and the second argument is a class of relations (a ClassOfClassOfRelationship).

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