|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31692-31692 | 域 人口, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 36-36 | 域 人口增長, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 924-924 | 域 每年達到軍齡的男性, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 882-882 | 域 區域法, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8028-8028 | 域 居民, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | 域 船舶登記, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2179-2179 | 域 最高法院, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1222-1222 | 域 領海, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 383-383 | 域 行政中心, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 384-384 | 域 行政中心, 2 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 544-544 | 域 ageOfMajorityForProcess, 2 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2231-2231 | 域 農產品類型, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2241-2241 | 域 按等級劃分的農產品類型, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2104-2104 | 域 年耗電量, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2148-2148 | 域 年度電力出口, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2194-2194 | 域 年度電力進口, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1972-1972 | 域 年發電量, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1508-1508 | 域 區域年度支出, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1497-1497 | 域 期間面積的年度支出, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2268-2268 | 域 年出口總額, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2574-2574 | 域 年進口總額, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1480-1480 | 域 面積年收入, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1469-1469 | 域 期間面積的年收入, 1 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | 域 首都, 2 and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1548-1548 | 域 地區的資本支出, 1 and GeopoliticalArea |
| 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