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


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