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)

Classe

inheritable relation

Predicato

RelazioneAdAritáVariabile
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(Classe)

Axioms (18)

disjoint decomposition é interamente correlato a exhaustive decomposition.

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

disjoint decomposition é interamente correlato a disjoint.

(relatedInternalConcept disjointDecomposition disjoint)

se é scomposto disgiuntivamente in ,
allora se element é un é membro di "(", allora element é un' istanza di Classe

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

é esaustivamente partizionato in se e solo se é coperto da e é scomposto disgiuntivamente in .

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

Linguaggio é scomposto disgiuntivamente in LinguaggioAnimale,LinguaggioUmano,LinguaggioMacchina.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

Relazione é scomposto disgiuntivamente in RelazioneBinaria,RelazioneTernaria,RelazioneQuaternaria,RelazioneQuinquenaria,RelazioneAdAritáVariabile.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

se class é scomposto disgiuntivamente in ,
allora per ogni item vale: se item é un é membro di "(", allora item é una sottoclasse di class

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

se class é scomposto disgiuntivamente in ,
allora per ogni item1,item2 vale: se item1 é un é membro di "(" e item2 é un é membro di "(" e item1 is not uguale a item2, allora item1 é disgiunto da item2

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

PiantaNonDaFiore é scomposto disgiuntivamente in Alga,Felce,Fungo,Muschio.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

Invertebrato é scomposto disgiuntivamente in Verme,Mollusco,Artropodi.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

Artropodi é scomposto disgiuntivamente in Aracnidi,Miriapode,Insetto,Crostaceo.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

AnimaleASangueFreddo é scomposto disgiuntivamente in Anfibio,Pesce,Rettile.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

Mammifero é scomposto disgiuntivamente in MammiferoAcquatico,MammiferoUngulato,Marsupiale,Roditore,Primato.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

Primato é scomposto disgiuntivamente in Scimmia,Scimmia,Ominide.

(disjointDecomposition Primate Ape Monkey Hominid)

Nutriente é scomposto disgiuntivamente in Proteina,Carboidrato,Vitamina.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

Cibo é scomposto disgiuntivamente in Carne,FruttaOVerdura,Bevanda.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

Tessuto é scomposto disgiuntivamente in Osso,Muscolo,TessutoGrasso.

(disjointDecomposition Tissue Bone Muscle FatTissue)

Sintagma é scomposto disgiuntivamente in SintagmaVerbale,SintagmaNominale,SintagmaPreposizionale.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)