Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Koncept: Anglické slovo: Hlavní stránka

# 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ů

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)`

```(=>
(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)`