Base Template RelativeComplementOf2Classes


RelativeComplementOf2Classes is a template for expressing that a class is the relative complement of two classes.

RelativeComplementOf2Classes(a, b, c) means that c is the relative complement of a and b.

Roles:
1 hasClass1 Class
2 hasClass2 Class
3 hasClassRelativeComplement Class

Axiom:

RelativeComplementOf2Classes(x1, x2, x3) <-> 
Class(x1) & 
Class(x2) & 
Class(x3) & 
exists y(DifferenceOf2Classes(x1, x2, y) & 
IntersectionOf2Classes(x1, y, x3)) . 

NOTE The relative complement of two classes a and b is commonly written anb. See 8.3 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