SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > disjointDecomposition |
disjointDecomposition | ||||
subject | fact |
disjointDecomposition | documentation A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (forall (?INT) (domain disjointDecomposition ?INT Class)) | ||
has domain1 Class | ||
has relatedInternalConcept disjoint | ||
has relatedInternalConcept exhaustiveDecomposition | ||
is an instance of Predicate | ||
is an instance of VariableArityRelation | ||
Predicate | is first domain of singleValued | |
Relation | is second domain of subrelation | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |