![]() | Sets and Individuals in CYC® |
![]() | Collections of Collections |
![]() | Sibling-Disjoint Exceptions |
An exception to the disjoin is the case where one disjoined collection is a subset of another. In that case, a term may be an instance of both collections. Consider the following example:
The constant R may not be an instance of both A and B because A and B are both instances of #$MyDisjointType. S, however, may be an instance of both B and C, since (#$genls C B) is true.
#$DayOfWeekType is a good example of an instance of #$SiblingDisjointCollection. Its instances include terms like #$Friday and #$Saturday. Any particular day could be an instance of #$Friday or #$Saturday, but not both.