disjoint decomposition (disjointDecomposition)

A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

class

inheritable relation

predicate

variable arity relation
is instance of

disjoint decomposition

Coordinate term(s)

assignment fn greatest common divisor fn least common multiple fn list fn contrary attribute disjoint relation exhaustive attribute exhaustive decomposition holds partition

Type restrictions

disjointDecomposition(class)

Axioms (18)

disjoint decomposition is internally related to exhaustive decomposition.

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

disjoint decomposition is internally related to disjoint.

(relatedInternalConcept disjointDecomposition disjoint)

if is disjointly decomposed into ,
then if element is a member of "()", then element is an instance of class

(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

is exhaustively partitioned into if and only if is covered by and is disjointly decomposed into .

(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))

language is disjointly decomposed into animal language,human language,computer language.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

relation is disjointly decomposed into binary relation,ternary relation,quaternary relation,quintary relation,variable arity relation.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

if class is disjointly decomposed into ,
then for all item holds: if item is a member of "()", then item is a subclass of class

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM)
            (=>
                  (inList
                        ?ITEM
                        (ListFn @ROW))
                  (subclass ?ITEM ?CLASS))))

if class is disjointly decomposed into ,
then for all item1,item2 holds: if item1 is a member of "()" and item2 is a member of "()" and item1 is not equal to item2, then item1 is disjoint from item2

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM1 ?ITEM2)
            (=>
                  (and
                        (inList
                              ?ITEM1
                              (ListFn @ROW))
                        (inList
                              ?ITEM2
                              (ListFn @ROW))
                        (not
                              (equal ?ITEM1 ?ITEM2)))
                  (disjoint ?ITEM1 ?ITEM2))))

non flowering plant is disjointly decomposed into alga,fern,fungus,moss.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

invertebrate is disjointly decomposed into worm,mollusk,arthropod.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

arthropod is disjointly decomposed into arachnid,myriapod,insect,crustacean.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

cold blooded vertebrate is disjointly decomposed into amphibian,fish,reptile.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

mammal is disjointly decomposed into aquatic mammal,hoofed mammal,marsupial,rodent,primate.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

primate is disjointly decomposed into ape,monkey,hominid.

(disjointDecomposition Primate Ape Monkey Hominid)

nutrient is disjointly decomposed into protein,carbohydrate,vitamin.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

food is disjointly decomposed into meat,fruit or vegetable,beverage.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

tissue is disjointly decomposed into bone,muscle,fat tissue.

(disjointDecomposition Tissue Bone Muscle FatTissue)

phrase is disjointly decomposed into verb phrase,noun phrase,prepositional phrase.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)