無交集 (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)

種類

可繼承關係

二元述詞

對稱關係

非反身關係

無交集

Coordinate term(s)

反面函數正面函數弧線重量屬性作者先於先於或同時肇因次類肇因公民封閉於相連的已連結工程元件包含訊息共生複製日期降低可能性發展期形式分配文字說明持續時間期間較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例內部倒序非反射於... 大於小於小於或等於方式/情狀物質測量空間上接觸時段相接情態屬性部分重疊空間重疊時段重疊雙親偏序於... 部分位於路徑長擁有先決條件避免特性出版範圍範圍次種類提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次組織次計畫次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性外表部分時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

disjoint(集合或種類, 集合或種類)

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 無交集於 class2 if and only if

class1 是集合或種類的實例
class2 是集合或種類的實例
for all inst holds: inst 是 class1 的實例 or inst 是 class2 的實例

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

無交集關係內部相關於無交集.

(relatedInternalConcept disjointRelation disjoint)

If rel1 的論元 number 是 class1 的實例 and rel2 的論元 number 是 class2 的實例 and class1 無交集於 class2, then 無交集關係(rel1,rel2) holds.

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

If rel1 的論元 number 是 class1 的次種類 and rel2 的論元 number 是 class2 的次種類 and class1 無交集於 class2, then 無交集關係(rel1,rel2) holds.

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

If rel1 的範圍是 class1 的實例 and rel2 的範圍是 class2 的實例 and class1 無交集於 class2, then 無交集關係(rel1,rel2) holds.

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

If 被 rel1 歸回的值是 class1的次種類 and 被 rel2 歸回的值是 class2的次種類 and class1 無交集於 class2, then 無交集關係(rel1,rel2) holds.

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

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

(relatedInternalConcept disjointDecomposition disjoint)

複雜體/非單質體無交集於物質.

(disjoint CorpuscularObject Substance)

群集無交集於自身連續物體.

(disjoint Collection SelfConnectedObject)

語言表式無交集於圖示.

(disjoint LinguisticExpression Icon)

自然語言無交集於人造語言.

(disjoint NaturalLanguage ConstructedLanguage)

屬性無交集於數量.

(disjoint Attribute Quantity)

複數無交集於實數.

(disjoint ComplexNumber RealNumber)

rel 是二元關係的實例
rel 的論元是 class1 的實例 or rel 的論元是 class1 的次種類
rel 的論元是 class2 的實例 or rel 的論元是 class2 的次種類 or rel 的範圍是 class2 的實例 or 被 rel 歸回的值是 class2的次種類
class1 無交集於 class2

, then rel 是不對稱關係的實例.

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

受事導向（歷程）無交集於命題態度.

(disjoint ObjectAttitude PropositionalAttitude)

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

if superclass 是成對獨立類的實例,
then for all class1,class2 holds: if class1 是 superclass 的實例 and class2 是 superclass 的實例, then class1 等於 class2 or class1 無交集於 class2

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

圖元件無交集於圖.

(disjoint GraphElement Graph)

立體角單位無交集於平面角單位.

(disjoint SolidAngleMeasure PlaneAngleMeasure)

有性生殖無交集於無性生殖.

(disjoint SexualReproduction AsexualReproduction)

器官或組織歷程無交集於生物體歷程.

(disjoint OrganOrTissueProcess OrganismProcess)

病理歷程無交集於生理歷程.

(disjoint PathologicProcess PhysiologicProcess)

脫離組織無交集於加入組織.

(disjoint LeavingAnOrganization JoiningAnOrganization)

加溫無交集於降溫.

(disjoint Heating Cooling)

揭開無交集於覆蓋.

(disjoint Uncovering Covering)

損害無交集於修護.

(disjoint Damaging Repairing)

貼附無交集於脫離.

(disjoint Attaching Detaching)

隔離無交集於結合.

(disjoint Separating Combining)

解碼無交集於編碼.

(disjoint Decoding Encoding)

天體無交集於地理區域.

(disjoint AstronomicalBody GeographicArea)

海水水域無交集於淡水水域.

(disjoint SaltWaterArea FreshWaterArea)

流水水域無交集於靜水水域.

(disjoint StreamWaterArea StaticWaterArea)

非開花植物無交集於開花植物.

(disjoint NonFloweringPlant FloweringPlant)

無脊椎動物無交集於脊椎動物.

(disjoint Invertebrate Vertebrate)

溫血脊椎動物無交集於冷血脊椎動物.

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate)

鳥類無交集於哺乳類.

(disjoint Bird Mammal)

犬科動物無交集於貓科動物.

(disjoint Canine Feline)

名詞詞組無交集於動詞詞組.

(disjoint NounPhrase VerbPhrase)

房間無交集於建築物.

(disjoint Room Building)

織物無交集於固定人造物.

(disjoint Fabric StationaryArtifact)

衣物無交集於固定人造物.

(disjoint Clothing StationaryArtifact)

主觀評價屬性無交集於客觀規範.

(disjoint SubjectiveAssessmentAttribute ObjectiveNorm)