disjoint decomposition (disjointDecomposition)

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

Ontologie

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

třída

inheritable relation

predikát

relace s proměnným počtem argumentů
is instance of

disjoint decomposition

Související termín(y)

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

Typy argumentů

disjointDecomposition(třída)

Axiomy (18)

disjoint decomposition je internally related to exhaustive decomposition.

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

disjoint decomposition je internally related to disjoint.

(relatedInternalConcept disjointDecomposition disjoint)

jestliže je disjointly decomposed into ,
potom jestliže element je a member of "()", potom element je instancí třídy třída

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

je exhaustively partitioned into tehdy a jen tehdy pokud je covered by a je disjointly decomposed into .

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

jazyk je disjointly decomposed into zvířecí jazyk,lidský jazyk,počítačový jazyk.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

relace je disjointly decomposed into binární relace,terciální relace,relace se čtyřmi argumenty,relace s pěti argumenty,relace s proměnným počtem argumentů.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

jestliže class je disjointly decomposed into ,
potom pro všechny item platí: jestliže item je a member of "()", potom item je podtřídou class

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

jestliže class je disjointly decomposed into ,
potom pro všechny item1,item2 platí: jestliže item1 je a member of "()" a item2 je a member of "()" a item1 se nerovná item2, potom item1 je 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))))

nekvetoucí rostlina je disjointly decomposed into řasa,kapradina,houba,mech.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

bezobratlý je disjointly decomposed into červ,měkkýš,členovec.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

členovec je disjointly decomposed into pavouk,stonožka,hmyz,korýš.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

studenokrevný obratlovec je disjointly decomposed into obojživelník,ryba,plaz.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

savec je disjointly decomposed into vodní savec,kopytník,vačnatec,hlodavec,primát.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

primát je disjointly decomposed into lidoop,opice,hominid.

(disjointDecomposition Primate Ape Monkey Hominid)

živina je disjointly decomposed into protein,uhlohydrát,vitamín.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

jídlo je disjointly decomposed into maso,ovoce a zelenina,nápoj.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

tkáň je disjointly decomposed into kost,sval,tuková tkáň.

(disjointDecomposition Tissue Bone Muscle FatTissue)

fráze je disjointly decomposed into rozvité sloveso,rozvité podstatné jméno,předložková vazba.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)