Base Template UnionOf2Classes

UnionOf2Classes is a template for expressing that a class is the union of two classes.

UnionOf2Classes(a, b, c) means that a, b, and c are classes, and that c is the union of a and b.

1 hasClass1 Class
2 hasClass2 Class
3 hasClassUnion Class


UnionOf2Classes(x1, x2, x3) <-> 
Class(x1) & 
Class(x2) & 
Class(x3) & 
exists y(EnumeratedSetOf2Classes(x1, x2, y) & 
UnionOfSetOfClassTemplate(y, x3)) . 

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

About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std