SUMO View all facts Glossary Help |
| unparented > partition |
| partition comparison table | |
| Subject | documentation |
|---|---|
| unparented | |
| partition | 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 |
Next unparented: piece Up: unparented Previous unparented: overlapsSpatially