Base Template EnumeratedSetOf2Classes


EnumeratedSetOf2Classes is a template for collecting two classes into a third.

EnumeratedSetOf2Classes(a, b, c) means that a, b, and c are classes, and that a has precisely
b and c as members.

Roles:
1 hasClassified1 Class
2 hasClassified2 Class
3 hasEnumeratedSetOfClass EnumeratedSetOfClass

Axiom:

EnumeratedSetOf2Classes(x1, x2, x3) <-> 
Class(x1) & 
Class(x2) & 
EnumeratedSetOfClass(x3) & 
ClassificationTemplate(x1, x3) & 
ClassificationTemplate(x2, x3) & 
ClassificationTemplate(x3, SetOf2Classes) . 

NOTE The order in which the first two arguments is given is insignificant. The numbering in role names (“Classified 1”, “Classified 2”) is only applied in order to distinguish the roles from each other.

NOTE See 8.2.1 for further information on the representation used in this template.

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