Slots on this relation:
A subrelation-partition of a class C is a set of
mutually-disjoint classes (a subclass partition) which covers C.
Every instance of C is is an instance of exactly one of the subclasses
in the partition.
- Arity: 2
- Subrelation-Of: Subclass-partition
(<=> (Exhaustive-Subclass-Partition ?C ?Class-Partition)
(And (Subclass-Partition ?C ?Class-Partition)
(=> (Instance-Of ?Instance ?C)
(And (Member ?Subclass
(Member ?Instance ?Subclass)))))))