![]() | Sets and Individuals in CYC® |
![]() | Covering Collections |
![]() | Sets Defined by Internal CYC® Functions |
A collection is covered by its partitions. But unlike a covering set, the elements of a partitioning set must be subsets of the partitioned collection, and must be mutually disjoint. Thus, every instance of the partitioned collection must be an instance of one and only one of the partitions.
The partitions are specified using the function #$ThePartition. The set created by this function is linked to the partitioned collection by the predicate #$partitionedInto. In the case of #$Thing, the following assertions hold:
(#$partitionedInto #$Thing (#$ThePartition #$SetOrCollection #$Individual)) (#$partitionedInto #$Thing (#$ThePartition #$Intangible #$PartiallyTangible))
Or, for the following example:
(#$partitionedInto Z (#$ThePartition D E F))
The collection Z is partitioned by collections D, E, and F, each of which is an #$elementOf the set created by #$ThePartition.
The constant Q is in violation of the partitioning constraints since it is an instance of G (and hence of Z) but it is not an instance of either D, E, or F.
The constant V is also in violation of the partitioning constraints due to the fact that it is an instance of both D and E.
The relation (#$genls F E) makes F vacuous since any instances will also violate the partitioning constraints.