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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partition

Sigma KEE - partition
partition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order. Merge.kif 582-582 劃分, 1 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 583-583 劃分, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 580-580 劃分 and Predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 581-581 劃分 and VariableArityRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order. english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order. french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order. relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order. relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order. Merge.kif 550-550 相關的內部概念 徹底分解 and 劃分
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44567-44567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44566-44566

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


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

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


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 602-604

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11141-11141 劃分 走動, Walking and 賽跑
No TPTP formula. May not be expressible in strict first order. Merge.kif 14915-14915 劃分 AnatomicalStructure, 動物解剖結構 and 植物解剖結構
No TPTP formula. May not be expressible in strict first order. Merge.kif 14914-14914 劃分 AnatomicalStructure, BodyPart and 異常的解剖結構
No TPTP formula. May not be expressible in strict first order. Merge.kif 14447-14447 劃分 Animal, Vertebrate and Invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16813-16813 劃分 爭論, 演繹論證 and 歸納論證
No TPTP formula. May not be expressible in strict first order. Merge.kif 1702-1702 劃分 Attribute, InternalAttribute and RelationalAttribute
No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 劃分 生化劑, 生物製劑 and 化學劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 劃分 生化武器, 生物武器 and 化學武器
No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 劃分 生物製劑, 毒素 and 有毒生物
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7625-7625 劃分 護理組織, 醫院組織 and 醫療診所
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1027-1027 劃分 主席出版物, 主席指示 and 主席手冊
No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3585-3585 劃分 貨幣, 貨幣單 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Merge.kif 16833-16833 劃分 演繹論證, 有效的演繹論證 and 無效的演繹論證
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 劃分 Entity, Physical and Abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12943-12943 劃分 Expressing, 手勢 and 用語言表達
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1604-1604 劃分 火器, 步槍 and 手槍
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8152-8152 劃分 園林 , 私人庭園 and 公共庭園
No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 劃分 GeographicArea, WaterArea and LandArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 17781-17781 劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖
No TPTP formula. May not be expressible in strict first order. Merge.kif 5820-5820 劃分 GraphElement, GraphNode and GraphArc
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1162 劃分 , 火砲槍 and 火器
No TPTP formula. May not be expressible in strict first order. Economy.kif 5279-5279 劃分 Hardwood and Softwood
No TPTP formula. May not be expressible in strict first order. Merge.kif 14645-14645 劃分 Human, and 女人

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