| 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 数量 是 类 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | 划分 的 2 数量 是 类 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 580-580 | 划分 是 谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 581-581 | 划分 是 不定次元关系 的 instance |
| 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 | 彻底的分拆 和 划分 是 内部相关 |
| 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 44582-44582 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44581-44581 |
| 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 11107-11107 | 走动 详尽无遗地 partition 成 步行 和 赛跑 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14805-14805 | 解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14804-14804 | 解剖结构 详尽无遗地 partition 成 身体部位 和 异常的解剖结构 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14338-14338 | 动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16697-16697 | 争论 详尽无遗地 partition 成 演绎论证 和 归纳论证 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1689-1689 | 属性 详尽无遗地 partition 成 内在属性 和 关联属性 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | 生化剂 详尽无遗地 partition 成 生物制剂 和 化学剂 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 108-108 | 生化武器 详尽无遗地 partition 成 生物武器 和 化学武器 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | 生物制剂 详尽无遗地 partition 成 毒素 和 有毒生物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7592-7592 | 护理组织 详尽无遗地 partition 成 医院组织 和 医疗诊所 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | 主席出版物 详尽无遗地 partition 成 主席指示 和 主席手册 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12395-12395 | 化学过程 详尽无遗地 partition 成 化学合成 和 化学分解 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12927-12927 | 沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3557-3557 | 货币 详尽无遗地 partition 成 货币单 和 货币硬币 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16717-16717 | 演绎论证 详尽无遗地 partition 成 有效的演绎论证 和 无效的演绎论证 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12814-12814 | 表示 详尽无遗地 partition 成 手势 和 用语言表达 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1576-1576 | 火器 详尽无遗地 partition 成 步枪 和 手枪 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8119-8119 | 园林 详尽无遗地 partition 成 私人庭园 和 公共庭园 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13923-13923 | 地理区域 详尽无遗地 partition 成 水域 和 土地面积 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17666-17666 | 几何图 详尽无遗地 partition 成 几何点, 一维图, 二维图, 和 三维图 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5806-5806 | 图元素 详尽无遗地 partition 成 图节点 和 图弧 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1134-1134 | 枪 详尽无遗地 partition 成 火炮枪 和 火器 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4646-4646 | Hardwood 详尽无遗地 partition 成 Softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14536-14536 | 人类 详尽无遗地 partition 成 人 和 女人 |
| 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