無交集分解 (disjointDecomposition)

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

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

種類

可繼承關係

述詞

變異元數關係

無交集分解

Coordinate term(s)

指定函數最大公約數函數最小公倍數函數序列函數矛盾屬性無交集關係窮盡的屬性窮盡的分解成立分割

Type restrictions

disjointDecomposition(種類)

Axioms (18)

無交集分解內部相關於窮盡的分解.

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

無交集分解內部相關於無交集.

(relatedInternalConcept disjointDecomposition disjoint)

if 無交集地分解成 ,
then if element 是 "()" 的一成員, then element 是種類的實例

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

完全分割成 if and only if 被 �]含 and 無交集地分解成 .

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

語言無交集地分解成動物語言,人類語言,電腦語言.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

關係無交集地分解成二元關係,三元關係,四元關係,五元關係,變異元數關係.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

if class 無交集地分解成 ,
then for all item holds: if item 是 "()" 的一成員, then item 是 class 的次種類

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

if class 無交集地分解成 ,
then for all item1,item2 holds: if item1 是 "()" 的一成員 and item2 是 "()" 的一成員 and item1 等於 item2, then item1 無交集於 item2

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

非開花植物無交集地分解成藻類,蕨類,真菌,蘚類.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

無脊椎動物無交集地分解成蠕蟲,軟體動物,節肢動物.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

節肢動物無交集地分解成蜘蛛類,多足類,昆蟲類,甲殼類.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

冷血脊椎動物無交集地分解成兩棲類,魚類,爬行動物.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

哺乳類無交集地分解成水棲哺乳動物,有蹄哺乳動物,有袋類,囓齒動物,靈長類.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

靈長類無交集地分解成猿,猴,人科動物.

(disjointDecomposition Primate Ape Monkey Hominid)

養份無交集地分解成蛋白質,碳水化合物,維他命.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

食物無交集地分解成肉,蔬果,飲料.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

組織無交集地分解成骨骼,肌肉,脂肪組織.

(disjointDecomposition Tissue Bone Muscle FatTissue)

詞組無交集地分解成動詞詞組,名詞詞組,介詞詞組.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)