|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 562-562 | 高速公路系统的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 146-146 | 多轨铁路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 230-230 | 窄轨铁路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 728-728 | 天然气管道长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 536-536 | 铺设高速公路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 751-751 | 石油产品管道的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 257-257 | 标准轨距铁路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 285-285 | 未分类轨距的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 595-595 | 未铺砌的公路的长度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1766-1766 | 位置量度串列 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1009-1009 | 期间最低温度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3768-3768 | 磁变化 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4851-4851 | 平均海平面 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2256-2256 | 区域内的自然灾害类型 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1982-1982 | 区域内的自然资源类型 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2155-2155 | 其他土地使用面积 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 952-952 | 期间阴天 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2116-2116 | 永久性农田面积 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31720-31720 | populationDensity 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2825-2825 | 降雨强度 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1607-1607 | 该地区有雨季 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6809-6809 | 区域问题 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1479-1479 | releaseForConsumption 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 755-755 | sharedBorderLength 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 756-756 | sharedBorderLength 的 2 数量 是 地理区域 的 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