|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 985-985 | 期间平均温度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1527-1527 | beliefGroupPercentInRegion 的 3 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2611-2611 | 栖息地的生物指示器 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 964-964 | 声称领土 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1245-1245 | 地区气候类型 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1657-1657 | 地区寒冷季节 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 646-646 | 比较区域 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 650-650 | 比较区域 的 4 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1637-1637 | 该地区凉爽的季节 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 544-544 | deliveryRegion 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1626-1626 | 地区干燥的季节 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2455-2455 | 区域环境问题类型 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1546-1546 | ethnicityPercentInRegion 的 3 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14047-14047 | 地理分区域 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14048-14048 | 地理分区域 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30379-30379 | habitatOfOrganism 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 997-997 | 期间最高温度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1647-1647 | 该地区炎热的季节 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2209-2209 | 灌溉土地面积 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 538-538 | 仅限陆地面积 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1565-1565 | languagePercentInRegion 的 3 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 174-174 | 宽轨铁路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 705-705 | 原油管道长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 202-202 | 双轨铁路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 118-118 | 电气化铁路的长度 的 1 数量 是 地理区域 的 instance |
| 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