|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31692-31692 | 人口 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 36-36 | 人口增长 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 924-924 | 每年达到军龄的男性 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 882-882 | 区域法 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8028-8028 | 居民 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | 船舶登记 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2179-2179 | 最高法院 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1222-1222 | 领海 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 383-383 | 行政中心 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 384-384 | 行政中心 的 2 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 544-544 | ageOfMajorityForProcess 的 2 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2231-2231 | 农产品类型 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2241-2241 | 按等级划分的农产品类型 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2104-2104 | 年耗电量 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2148-2148 | 年度电力出口 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2194-2194 | 年度电力进口 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1972-1972 | 年发电量 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1508-1508 | 区域年度支出 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1497-1497 | 期间面积的年度支出 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2268-2268 | 年出口总额 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2574-2574 | 年进口总额 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1480-1480 | 面积年收入 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1469-1469 | 期间面积的年收入 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | 首都 的 2 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1548-1548 | 地区的资本支出 的 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