GeopoliticalArea(geopolitical area) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31692-31692 | The number 1 argument of population is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | People.kif 36-36 | The number 1 argument of population growth is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Military.kif 924-924 | The number 1 argument of reaching military age annually male is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 882-882 | The number 1 argument of regional law is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8028-8028 | The number 1 argument of resident is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | The number 1 argument of ship register is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2179-2179 | The number 1 argument of supreme court is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1222-1222 | The number 1 argument of territorial sea is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 383-383 | The number 1 argument of administrative center is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 384-384 | The number 2 argument of administrative center is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Law.kif 544-544 | The number 2 argument of age of majority for process is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2231-2231 | The number 1 argument of agricultural product type is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2241-2241 | The number 1 argument of agricultural product type by rank is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2104-2104 | The number 1 argument of annual electricity consumption is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2148-2148 | The number 1 argument of annual electricity export is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2194-2194 | The number 1 argument of annual electricity import is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1972-1972 | The number 1 argument of annual electricity production is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1508-1508 | The number 1 argument of annual expenditures of area is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1497-1497 | The number 1 argument of annual expenditures of area in period is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2268-2268 | The number 1 argument of annual export total is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2574-2574 | The number 1 argument of annual import total is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1480-1480 | The number 1 argument of annual revenues of area is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1469-1469 | The number 1 argument of annual revenues of area in period is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | The number 2 argument of capital city is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1548-1548 | The number 1 argument of capital expenditures of area is an instance of geopolitical area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |