|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1447-1447 | 人类语言 详尽无遗地 partition 成 自然语言 和 人工语言 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1448-1448 | 人类语言 详尽无遗地 partition 成 口语人类语言 和 手动人类语言 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1956-1956 | 整数 详尽无遗地 partition 成 负整数 和 非负整数 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1955-1955 | 整数 详尽无遗地 partition 成 奇整数 和 偶数 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | 液体混合物 详尽无遗地 partition 成 溶液 和 悬挂 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | 低压天气系统 详尽无遗地 partition 成 高压天气系统 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13703-13703 | 制作音乐 详尽无遗地 partition 成 器乐 和 唱歌 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14925-14925 | 叙述文本 详尽无遗地 partition 成 虚构的文字 和 历史记录 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1825-1825 | 数字 详尽无遗地 partition 成 实数, 虚数, 和 复数 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14348-14348 | 有机物体 详尽无遗地 partition 成 生物 和 解剖结构 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7405-7405 | 悬浮颗粒 详尽无遗地 partition 成 粗悬浮颗粒 和 细悬浮颗粒 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | Phalanx 详尽无遗地 partition 成 ToeBone 和 FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 物理 详尽无遗地 partition 成 客体 和 过程 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 物理量 详尽无遗地 partition 成 恒量 和 函数量 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7030-7030 | 商业地点 详尽无遗地 partition 成 商业建筑 和 商业单位 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19537-19537 | 政治经济属性 详尽无遗地 partition 成 政体 和 经济属性 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16723-16723 | 中学后 详尽无遗地 partition 成 大专, 学院, 和 大学 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 314-314 | 蛋白质结构属性 详尽无遗地 partition 成 蛋白质结构属性复合 和 蛋白质结构属性原始 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18258-18258 | 心理属性 详尽无遗地 partition 成 心理状态 和 特征属性 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1085-1085 | 純物质 详尽无遗地 partition 成 复合物质 和 元素物质 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2872-2872 | 数量 详尽无遗地 partition 成 有限数量 和 无限的数量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10873-10873 | 量变 详尽无遗地 partition 成 增加 和 减少 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 648-648 | 放射性武器 详尽无遗地 partition 成 核武器 和 放射性武器 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1892-1892 | 实数 详尽无遗地 partition 成 负实数 和 非负实数 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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