Base Template DisjointnessOf2Classes


This template expresses that two classes have no members in common (that the classes are disjoint). DisjointnessOf2Classes(x, y) means that the intersection of x and y is empty.

Roles:
1 hasClass1 Class
2 hasClass2 Class

Axiom:

DisjointnessOf2Classes(x1, x2) <-> 
Class(x1) & 
Class(x2) & 
IntersectionOf2Classes(x1, x2, EmptyClass) . 

NOTE See 8.3 for further information on the representation used in this template. See 8.2.1 for a description of the item EmptyClass 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