GeopoliticalArea(geopolitical area) |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1097-1104 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1157-1166 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2112-2116 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2017-2021 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2029-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1534-1536 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 787-789 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 791-793 |
|