Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointDecomposition

Sigma KEE - disjointDecomposition
disjointDecomposition

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1515-1516
No TPTP formula. May not be expressible in strict first order. Merge.kif 571-572
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 80-81
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 92-93
No TPTP formula. May not be expressible in strict first order. Merge.kif 566-566 不相交分解, 1 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-567 不相交分解, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 不相交分解 and Predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 不相交分解 and VariableArityRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 569-569 相關的內部概念 不相交分解 and 不相交的
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 相關的內部概念 不相交分解 and 徹底分解

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 287-287
No TPTP formula. May not be expressible in strict first order. english_format.kif 292-292
No TPTP formula. May not be expressible in strict first order. french_format.kif 166-166
No TPTP formula. May not be expressible in strict first order. relations-it.txt 76-76
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1986-1986
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 118-118
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 186-186
No TPTP formula. May not be expressible in strict first order. relations-de.txt 373-373
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 186-186
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 168-168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19854-19854
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 288-288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19853-19853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19852-19852
No TPTP formula. May not be expressible in strict first order. terms-de.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 169-169

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 596-600
No TPTP formula. May not be expressible in strict first order. Merge.kif 2968-2973
No TPTP formula. May not be expressible in strict first order. Merge.kif 2950-2955
No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 574-578

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 590-594

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 不相交分解 Arthropod, Arachnid, Myriapod, Insect and Crustacean
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 不相交分解 ColdBloodedVertebrate, Amphibian, Fish and Reptile
No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 不相交分解 委任軍官級別, 國旗官員級別, 現場等級軍官等級 and 公司等級排名
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3215-3215 不相交分解 電腦狀態, 準備好主持, 主持人 and 啟動中
No TPTP formula. May not be expressible in strict first order. engineering.kif 180-180 不相交分解 微分方程, 一階微分方程 and 高階微分方程
No TPTP formula. May not be expressible in strict first order. engineering.kif 190-190 不相交分解 微分方程, 常微分方程 and 偏微分方程
No TPTP formula. May not be expressible in strict first order. Military.kif 269-269 不相交分解 士兵軍銜, 私人排名 and 非委任軍官級別
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12944 不相交分解 Expressing, 表示贊同 and 表示不贊成
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16977-16977 不相交分解 遊戲神器, 遊戲板 and 遊戲片
No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 不相交分解 Invertebrate, Worm, Mollusk and Arthropod
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 37-37 不相交分解 LAN, 公交網絡, 星網 and 環網
No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 不相交分解 Language, AnimalLanguage, HumanLanguage and ComputerLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 不相交分解 Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3505-3505 不相交分解 NSAID, Aspirin, Ibuprofen and Acetaminophen
No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 不相交分解 非委任軍官級別, 初級NCO排名 and 高級NCO排名
No TPTP formula. May not be expressible in strict first order. Merge.kif 14410-14410 不相交分解 NonFloweringPlant, Alga, Fern and Moss
No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 不相交分解 Nutrient, Protein, Carbohydrate and Vitamin
No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 不相交分解 Phrase, VerbPhrase, NounPhrase and PrepositionalPhrase
No TPTP formula. May not be expressible in strict first order. Economy.kif 2087-2087 不相交分解 發電, 化石燃料發電, 水力發電, 核能發電 and 其他發電源
No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 不相交分解 Primate, Ape, Monkey and Hominid
No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15777-15777 不相交分解 住宅, 永久居留權 and 暫住
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14231 不相交分解 Sentence, 聲明, 假想, , 請求 and 訂購
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 不相交分解 Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners