Nation(nation)

-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 349-357
No TPTP formula. May not be expressible in strict first order. Government.kif 4621-4629
No TPTP formula. May not be expressible in strict first order. Geography.kif 1075-1082
No TPTP formula. May not be expressible in strict first order. Geography.kif 2264-2269
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. Mid-level-ontology.kif 24729-24736
No TPTP formula. May not be expressible in strict first order. Government.kif 4614-4619
No TPTP formula. May not be expressible in strict first order. Government.kif 935-940
No TPTP formula. May not be expressible in strict first order. Government.kif 117-119


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