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 |