wu2 jiao1 ji2 (disjoint)

Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

dui4 chen4 guan1 xi4
is instance of

fei1 fan3 shen1 guan1 xi4
is instance of

wu2 jiao1 ji2

Coordinate term(s)

fan3 mian4 han2 shu4 zheng4 mian4 han2 shu4 hu2 xian4 zhong4 liang4 shu3 xing4 zuo4 zhe3 xian1 yu1 xian1 yu1 huo4 tong5 shi2 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 xiang1 lian2 de5 yi3 lian2 jie2 gong1 cheng2 yuan2 jian4 bao1 han2 xun4 xi1 gong4 sheng1 fu4 zhi4 ri4 qi1 jiang4 di1 ke3 neng2 xing4 fa1 zhan3 qi1 xing2 shi4 fen1 pei4 wen2 zi4 shuo1 ming2 chi2 xu4 shi2 jian1 qi1 jian1 jiao4 zao3 bian1 zhe3 yuan2 su4 gu4 yong4 xiang1 deng3 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 mian4 dui4 jia1 zu2 guan1 xi4 wan2 cheng2 ci4 shu4 tu2 bu4 fen5 da4 yu1 da4 yu1 huo4 deng3 yu1 you3 yi4 tu2 you3 ji4 qiao3 zai4...qi1 jian1 wei2 zhen1 xu1 shi3...wei2 zhen1 you3 quan2 shi3...wei2 zhen1 dong4 tong2 yi1 yuan2 su4 chuan4 lie4 zhong1 zai4 zhu4 yi4 fan4 wei2 zhong1 zeng1 jia1 ke3 neng2 xing4 du2 li4 huo4 ran2 lv4 ju1 zhu4 yi4 zhi4 chu1 shi3 hua4 xu4 lie4 shi2 li4 na4 bu4 dao4 xu4 fei1 fan3 she4 yu1... da4 yu1 xiao3 yu1 xiao3 yu1 huo4 deng3 yu1 fang1 shi4/qing2 zhuang4 wu4 zhi4 ce4 liang4 kong1 jian1 shang4 jie1 chu4 shi2 duan4 xiang1 jie1 qing2 tai4 shu3 xing4 bu4 fen5 zhong4 die2 kong1 jian1 zhong4 die2 shi2 duan4 zhong4 die2 雙親 pian1 xu4 yu1... bu4 fen5 wei4 yu1 lu4 jing4 chang2 yong1 you3 xian1 jue2 tiao2 jian4 bi4 mian3 te4 xing4 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 ti2 ji2 fan3 she4 yu1... SUMOna4 bu4 xiang1 guan1 gai4 nian4 xiong1 di4 zi3 mei4 xiao3 yu1 kai1 shi3 ci4 shu3 xing4 ci4 ju4 ji2 ci4 tu2 ci4 xu4 lie4 ci4 zu3 zhi1 ci4 ji4 hua4 ci4 li4 cheng2 ci4 ming4 ti2 ci4 zhong3 lei4 ci4 guan1 xi4 bao1 han2 xun4 xi1 zhong3 lei4 bao1 han2 xun4 xi1 shi2 li4 xu4 jie1 shu3 xing4 feng1 bi4 xu4 jie1 shu3 xing4 wai4 biao3 bu4 fen5 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

disjoint(ji2 he2 huo4 zhong3 lei4, ji2 he2 huo4 zhong3 lei4)

Related WordNet synsets

antitype: an opposite or contrasting type
dichotomy: classification into two opposed parts: "the dichotomy between eastern and western culture"
disjoint: (mathematics) having no elements in common

Axioms (42)

class1 wu2 jiao1 ji2 yu1 class2 if and only if

class1 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
class2 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
for all inst holds: inst shi4 class1 de5 shi2 li4 or inst shi4 class2 de5 shi2 li4

(<=>
      (disjoint ?CLASS1 ?CLASS2)
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass)
            (forall
                  (?INST)
                  (not
                        (and
                              (instance ?INST ?CLASS1)
                              (instance ?INST ?CLASS2))))))

wu2 jiao1 ji2 guan1 xi4 na4 bu4 xiang1 guan1 yu1 wu2 jiao1 ji2.

(relatedInternalConcept disjointRelation disjoint)

If rel1 de5 lun4 yuan2 number shi4 class1 de5 shi2 li4 and rel2 de5 lun4 yuan2 number shi4 class2 de5 shi2 li4 and class1 wu2 jiao1 ji2 yu1 class2, then wu2 jiao1 ji2 guan1 xi4(rel1,rel2) holds.

(=>
      (and
            (domain ?REL1 ?NUMBER ?CLASS1)
            (domain ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

If rel1 de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4 and rel2 de5 lun4 yuan2 number shi4 class2 de5 ci4 zhong3 lei4 and class1 wu2 jiao1 ji2 yu1 class2, then wu2 jiao1 ji2 guan1 xi4(rel1,rel2) holds.

(=>
      (and
            (domainSubclass ?REL1 ?NUMBER ?CLASS1)
            (domainSubclass ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

If rel1 de5 fan4 wei2 shi4 class1 de5 shi2 li4 and rel2 de5 fan4 wei2 shi4 class2 de5 shi2 li4 and class1 wu2 jiao1 ji2 yu1 class2, then wu2 jiao1 ji2 guan1 xi4(rel1,rel2) holds.

(=>
      (and
            (range ?REL1 ?CLASS1)
            (range ?REL2 ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

If bei4 rel1 gui1 hui2 de5 zhi2 shi4 class1de5 ci4 zhong3 lei4 and bei4 rel2 gui1 hui2 de5 zhi2 shi4 class2de5 ci4 zhong3 lei4 and class1 wu2 jiao1 ji2 yu1 class2, then wu2 jiao1 ji2 guan1 xi4(rel1,rel2) holds.

(=>
      (and
            (rangeSubclass ?REL1 ?CLASS1)
            (rangeSubclass ?REL2 ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

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

(relatedInternalConcept disjointDecomposition disjoint)

fu4 za2 ti1/fei1 dan1 zhi4 ti1 wu2 jiao1 ji2 yu1 wu4 zhi4.

(disjoint CorpuscularObject Substance)

qun2 ji2 wu2 jiao1 ji2 yu1 zi4 shen1 lian2 xu4 wu4 ti1.

(disjoint Collection SelfConnectedObject)

yu3 yan2 biao3 shi4 wu2 jiao1 ji2 yu1 tu2 shi4.

(disjoint LinguisticExpression Icon)

zi4 ran2 yu3 yan2 wu2 jiao1 ji2 yu1 ren2 zao4 yu3 yan2.

(disjoint NaturalLanguage ConstructedLanguage)

shu3 xing4 wu2 jiao1 ji2 yu1 shu4 liang4.

(disjoint Attribute Quantity)

fu4 shu4 wu2 jiao1 ji2 yu1 shi2 shu4.

(disjoint ComplexNumber RealNumber)

rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4
rel de5 lun4 yuan2 shi4 class1 de5 shi2 li4 or rel de5 lun4 yuan2 shi4 class1 de5 ci4 zhong3 lei4
rel de5 lun4 yuan2 shi4 class2 de5 shi2 li4 or rel de5 lun4 yuan2 shi4 class2 de5 ci4 zhong3 lei4 or rel de5 fan4 wei2 shi4 class2 de5 shi2 li4 or bei4 rel gui1 hui2 de5 zhi2 shi4 class2de5 ci4 zhong3 lei4
class1 wu2 jiao1 ji2 yu1 class2

, then rel shi4 bu2 dui4 chen4 guan1 xi4 de5 shi2 li4.

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))

shou4 shi4 dao3 xiang4 li4 cheng2 wu2 jiao1 ji2 yu1 ming4 ti2 tai4 du4.

(disjoint ObjectAttitude PropositionalAttitude)

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

if superclass shi4 cheng2 dui4 du2 li4 lei4 de5 shi2 li4,
then for all class1,class2 holds: if class1 shi4 superclass de5 shi2 li4 and class2 shi4 superclass de5 shi2 li4, then class1 deng3 yu1 class2 or class1 wu2 jiao1 ji2 yu1 class2

(=>
      (instance ?SUPERCLASS PairwiseDisjointClass)
      (forall
            (?CLASS1 ?CLASS2)
            (=>
                  (and
                        (instance ?CLASS1 ?SUPERCLASS)
                        (instance ?CLASS2 ?SUPERCLASS))
                  (or
                        (equal ?CLASS1 ?CLASS2)
                        (disjoint ?CLASS1 ?CLASS2)))))

tu2 yuan2 jian4 wu2 jiao1 ji2 yu1 tu2.

(disjoint GraphElement Graph)

li4 ti1 jiao3 dan1 wei4 wu2 jiao1 ji2 yu1 ping2 mian4 jiao3 dan1 wei4.

(disjoint SolidAngleMeasure PlaneAngleMeasure)

you3 xing4 sheng1 zhi2 wu2 jiao1 ji2 yu1 wu2 xing4 sheng1 zhi2.

(disjoint SexualReproduction AsexualReproduction)

qi4 guan1 huo4 zu3 zhi1 li4 cheng2 wu2 jiao1 ji2 yu1 sheng1 wu4 ti1 li4 cheng2.

(disjoint OrganOrTissueProcess OrganismProcess)

bing4 li3 li4 cheng2 wu2 jiao1 ji2 yu1 sheng1 li3 li4 cheng2.

(disjoint PathologicProcess PhysiologicProcess)

tuo1 li2 zu3 zhi1 wu2 jiao1 ji2 yu1 jia1 ru4 zu3 zhi1.

(disjoint LeavingAnOrganization JoiningAnOrganization)

jia1 wen1 wu2 jiao1 ji2 yu1 jiang4 wen1.

(disjoint Heating Cooling)

jie1 kai1 wu2 jiao1 ji2 yu1 fu4 gai4.

(disjoint Uncovering Covering)

sun3 hai4 wu2 jiao1 ji2 yu1 xiu1 hu4.

(disjoint Damaging Repairing)

tie1 fu4 wu2 jiao1 ji2 yu1 tuo1 li2.

(disjoint Attaching Detaching)

ge2 li2 wu2 jiao1 ji2 yu1 jie2 he2.

(disjoint Separating Combining)

jie3 ma3 wu2 jiao1 ji2 yu1 bian1 ma3.

(disjoint Decoding Encoding)

tian1 ti1 wu2 jiao1 ji2 yu1 di4 li3 qu1 yu4.

(disjoint AstronomicalBody GeographicArea)

hai3 shui3 shui3 yu4 wu2 jiao1 ji2 yu1 dan4 shui3 shui3 yu4.

(disjoint SaltWaterArea FreshWaterArea)

liu2 shui3 shui3 yu4 wu2 jiao1 ji2 yu1 jing4 shui3 shui3 yu4.

(disjoint StreamWaterArea StaticWaterArea)

fei1 kai1 hua1 zhi2 wu4 wu2 jiao1 ji2 yu1 kai1 hua1 zhi2 wu4.

(disjoint NonFloweringPlant FloweringPlant)

wu2 ji3 zhui1 dong4 wu4 wu2 jiao1 ji2 yu1 ji3 zhui1 dong4 wu4.

(disjoint Invertebrate Vertebrate)

wen1 xue4 ji3 zhui1 dong4 wu4 wu2 jiao1 ji2 yu1 leng3 xue4 ji3 zhui1 dong4 wu4.

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate)

niao3 lei4 wu2 jiao1 ji2 yu1 bu3 ru3 lei4.

(disjoint Bird Mammal)

quan3 ke1 dong4 wu4 wu2 jiao1 ji2 yu1 mao1 ke1 dong4 wu4.

(disjoint Canine Feline)

ming2 ci2 ci2 zu3 wu2 jiao1 ji2 yu1 dong4 ci2 ci2 zu3.

(disjoint NounPhrase VerbPhrase)

fang2 jian1 wu2 jiao1 ji2 yu1 jian4 zhu4 wu4.

(disjoint Room Building)

zhi4 wu4 wu2 jiao1 ji2 yu1 gu4 ding4 ren2 zao4 wu4.

(disjoint Fabric StationaryArtifact)

yi1 wu4 wu2 jiao1 ji2 yu1 gu4 ding4 ren2 zao4 wu4.

(disjoint Clothing StationaryArtifact)

zhu3 guan1 ping2 jia4 shu3 xing4 wu2 jiao1 ji2 yu1 ke4 guan1 gui1 fan4.

(disjoint SubjectiveAssessmentAttribute ObjectiveNorm)