GeopoliticalArea(geopolitical area) |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1139-1143 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1228-1232 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14060-14064 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14070 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 972-976 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2317 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1029-1038 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 957-966 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 917-921 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14072-14077 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14079-14085 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2447-2454 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2421-2430 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2412-2419 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2456-2466 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2468-2476 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2478-2486 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2263-2269 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2956-2983 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |