| 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 578-581 | |
| 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 575-575 | 域 劃分, 1 and Class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 576-576 | 域 劃分, 2 and Class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 573-573 | 例 劃分 and Predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 574-574 | 例 劃分 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 543-543 | 相關的內部概念 徹底分解 and 劃分 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 312-312 | 相關的內部概念 徹底分解 and 劃分 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44569-44569 | 相關的內部概念 徹底分解 and 劃分 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44568-44568 | 相關的內部概念 徹底分解 and 劃分 |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 129-129 | 相關的內部概念 徹底分解 and 劃分 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 599-605 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 595-597 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-587 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 589-593 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 595-597 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11264-11264 | 劃分 走動, Walking and 賽跑 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15053-15053 | 劃分 AnatomicalStructure, 動物解剖結構 and 植物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15052-15052 | 劃分 AnatomicalStructure, BodyPart and 異常的解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14585-14585 | 劃分 Animal, Vertebrate and Invertebrate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16973-16973 | 劃分 爭論, 演繹論證 and 歸納論證 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1697-1697 | 劃分 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 8792-8792 | 劃分 護理組織, 醫院組織 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 12643-12643 | 劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13175-13175 | 劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4028-4028 | 劃分 貨幣, 貨幣單 and 貨幣硬幣 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16993-16993 | 劃分 演繹論證, 有效的演繹論證 and 無效的演繹論證 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 809-809 | 劃分 Entity, Physical and Abstract |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14274-14274 | 劃分 Expressing, 手勢 and 用語言表達 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1851-1851 | 劃分 火器, Longgun and Handgun |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9319-9319 | 劃分 園林 , 私人庭園 and 公共庭園 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14170-14170 | 劃分 GeographicArea, WaterArea and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17949-17949 | 劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5830-5830 | 劃分 GraphElement, GraphNode and GraphArc |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1228-1228 | 劃分 槍, 火砲槍 and 火器 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5620-5620 | 劃分 Hardwood and Softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14783-14783 | 劃分 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