Base Template EnumeratedSetOf3Classes


EnumeratedSetOf3Classes is a template for collecting three classes into a fourth.

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

Roles:
1 hasClassified1 Class
2 hasClassified2 Class
3 hasClassified3 Class
4 hasEnumeratedSetOfClass EnumeratedSetOfClass

Axiom:

EnumeratedSetOf3Classes(x1, x2, x3, x4) <-> 
Class(x1) & 
Class(x2) & 
Class(x3) & 
EnumeratedSetOfClass(x4) & 
ClassificationTemplate(x1, x4) & 
ClassificationTemplate(x2, x4) & 
ClassificationTemplate(x3, x4) & 
ClassificationTemplate(x4, SetOf3Classes) . 

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