wu2 jiao1 ji2 fen1 jie3 (disjointDecomposition)

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

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shu4 ci2

bian4 yi4 yuan2 shu4 guan1 xi4
is instance of

wu2 jiao1 ji2 fen1 jie3

Coordinate term(s)

zhi3 ding4 han2 shu4 zui4 da4 gong1 yue1 shu4 han2 shu4 zui4 xiao3 gong1 bei4 shu4 han2 shu4 xu4 lie4 han2 shu4 mao2 dun4 shu3 xing4 wu2 jiao1 ji2 guan1 xi4 qiong2 jin4 de5 shu3 xing4 qiong2 jin4 de5 fen1 jie3 cheng2 li4 fen1 ge1

Type restrictions

disjointDecomposition(zhong3 lei4)

Axioms (18)

wu2 jiao1 ji2 fen1 jie3 na4 bu4 xiang1 guan1 yu1 qiong2 jin4 de5 fen1 jie3.

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

wu2 jiao1 ji2 fen1 jie3 na4 bu4 xiang1 guan1 yu1 wu2 jiao1 ji2.

(relatedInternalConcept disjointDecomposition disjoint)

if wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 zhong3 lei4 de5 shi2 li4

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

wan2 quan2 fen1 ge1 cheng2 if and only if bei4 bao1 han2 and wu2 jiao1 ji2 di4 fen1 jie3 cheng2 .

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

yu3 yan2 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 dong4 wu4 yu3 yan2,ren2 lei4 yu3 yan2,dian4 nao3 yu3 yan2.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

guan1 xi4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 er4 yuan2 guan1 xi4,san1 yuan2 guan1 xi4,si4 yuan2 guan1 xi4,wu3 yuan2 guan1 xi4,bian4 yi4 yuan2 shu4 guan1 xi4.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

if class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then for all item holds: if item shi4 "()" de5 yi1 cheng2 yuan2, then item shi4 class de5 ci4 zhong3 lei4

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

if class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then for all item1,item2 holds: if item1 shi4 "()" de5 yi1 cheng2 yuan2 and item2 shi4 "()" de5 yi1 cheng2 yuan2 and item1 deng3 yu1 item2, then item1 wu2 jiao1 ji2 yu1 item2

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

fei1 kai1 hua1 zhi2 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 zao3 lei4,jue2 lei4,zhen1 jun1,xian3 lei4.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

wu2 ji3 zhui1 dong4 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ru2 chong2,ruan3 ti1 dong4 wu4,jie2 zhi1 dong4 wu4.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

jie2 zhi1 dong4 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 zhi1 zhu1 lei4,duo1 zu2 lei4,kun1 chong2 lei4,jia3 ke2 lei4.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

leng3 xue4 ji3 zhui1 dong4 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 liang3 qi1 lei4,yu2 lei4,pa2 xing2 dong4 wu4.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

bu3 ru3 lei4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 shui3 qi1 bu3 ru3 dong4 wu4,you3 ti2 bu3 ru3 dong4 wu4,you3 dai4 lei4,nie4 chi3 dong4 wu4,ling2 zhang3 lei4.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

ling2 zhang3 lei4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 yuan2,hou2,ren2 ke1 dong4 wu4.

(disjointDecomposition Primate Ape Monkey Hominid)

yang3 fen4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 dan4 bai2 zhi4,tan4 shui3 hua4 he2 wu4,wei2 ta1 ming4.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

shi2 wu4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 rou4,shu1 guo3,yin3 liao4.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

zu3 zhi1 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 gu3 ge2,ji1 rou4,zhi1 fang2 zu3 zhi1.

(disjointDecomposition Tissue Bone Muscle FatTissue)

ci2 zu3 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 dong4 ci2 ci2 zu3,ming2 ci2 ci2 zu3,jie4 ci2 ci2 zu3.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)