| 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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