SUMO   View all facts   Glossary   Help

unparented > partition

partition
subject			fact

partition

documentation A partition of a class C is a set of mutually disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition