![]() | Sets and Individuals in CYC® |
![]() | Sibling-Disjoint Collections |
![]() | Covering Collections |
Instead, we make #$MyDisjointType an instance of #$SiblingDisjointCollection and then for any two instances which are not disjoint, such as the collections B and D, we can assert:
(#$siblingDisjointExceptions B D)
resulting in the following situation:
The constant R may not be an instance of both A and B because A and B are both instances of MyDisjointType. Q, however, may be an instance of both B and D, since (#$siblingDisjointExceptions B D) is true.