SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > disjointDecomposition
Next Predicate: exhaustiveDecomposition    Up: Predicate, VariableArityRelation    Previous Predicate: BinaryPredicate   

disjointDecomposition
subjectfact 
disjointDecompositiondocumentation A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint2001-11-30 13:34:04.0
has axiom 
(=>
    (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3)
    (and
       (subclass ?CLASS2 ?CLASS1)
       (subclass ?CLASS3 ?CLASS1)
       (disjoint ?CLASS2 ?CLASS3)))
2001-11-30 13:34:04.0
has axiom 
(=>
    (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4)
    (and
       (subclass ?CLASS2 ?CLASS1)
       (subclass ?CLASS3 ?CLASS1)
 	(subclass ?CLASS4 ?CLASS1)
       (disjoint ?CLASS2 ?CLASS3)
 	(disjoint ?CLASS3 ?CLASS4)
   	(disjoint ?CLASS2 ?CLASS4)))
2001-11-30 13:34:04.0
has axiom 
(=>
    (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4 ?CLASS5)
    (and
       (subclass ?CLASS2 ?CLASS1)
       (subclass ?CLASS3 ?CLASS1)
 	(subclass ?CLASS4 ?CLASS1)
 	(subclass ?CLASS5 ?CLASS1)
       (disjoint ?CLASS2 ?CLASS3)
 	(disjoint ?CLASS3 ?CLASS4)
   	(disjoint ?CLASS2 ?CLASS4)
 	(disjoint ?CLASS5 ?CLASS4)
 	(disjoint ?CLASS5 ?CLASS3)
  	(disjoint ?CLASS5 ?CLASS2)))
2001-11-30 13:34:04.0
has axiom 
(forall (?INT) (domain disjointDecomposition ?INT Class))
2001-11-30 13:34:04.0
has domain1 Class2001-11-30 13:34:04.0
has relatedInternalConcept disjoint2001-11-30 13:34:04.0
has relatedInternalConcept exhaustiveDecomposition2001-11-30 13:34:04.0
is an instance of Predicate2001-11-30 13:34:04.0
is an instance of VariableArityRelation2001-11-30 13:34:04.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0