|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1893-1893 | 实数 详尽无遗地 partition 成 有理数 和 无理数 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9026-9026 | 地区 详尽无遗地 partition 成 地理区域 和 空间区域 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2162-2162 | 关系 详尽无遗地 partition 成 谓语 和 函数 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2163-2163 | 关系 详尽无遗地 partition 成 总值关系 和 部分值关系 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7257-7257 | 岩石 详尽无遗地 partition 成 巨石, 大卵石, 和 卵石 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2140-2140 | 波荡股 详尽无遗地 partition 成 客运铁路车 和 货车 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19132-19132 | 一年的季节 详尽无遗地 partition 成 冬季, 春暖花开的季节, 夏季, 和 秋季 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2129-2129 | 集或类 详尽无遗地 partition 成 集合 和 类 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9069-9069 | 空间区域 详尽无遗地 partition 成 大气地区 和 外太空区域 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1042-1042 | 物质 详尽无遗地 partition 成 純物质 和 混合物 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1043-1043 | 物质 详尽无遗地 partition 成 合成物质 和 天然物质 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2079-2079 | 时间位置 详尽无遗地 partition 成 时距 和 时点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4866-4866 | 二维角度 详尽无遗地 partition 成 直角, 斜角, 和 锐角 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17796-17796 | 二维图 详尽无遗地 partition 成 开放二维图 和 封闭的二维图 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6223-6223 | 测量单位 详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 40-40 | 病毒 详尽无遗地 partition 成 DNA病毒 和 RNA病毒 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 42-42 | 病毒 详尽无遗地 partition 成 无包膜病毒 和 笼罩病毒 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 41-41 | 病毒 详尽无遗地 partition 成 病毒双重搁浅 和 病毒单一搁浅 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 673-673 | 大规模杀伤性武器 详尽无遗地 partition 成 放射性武器 和 生化武器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4590-4590 | 条编材料 详尽无遗地 partition 成 PlantWicker 和 SyntheticWicker |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15249-15249 | 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词 |
|
|
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