No TPTP formula. May not be expressible in strict first order.	Geography.kif 247-247	Northern south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3558-3558	Oceania and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3556-3556	Oceania and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3557-3557	Oceania and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3559-3559	Oceania and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3533-3533	South america and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3534-3534	South america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	Southeastern asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 270-270	Southeastern asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 265-265	Southern asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 266-266	Southern asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 228-228	Southwestern europe and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 229-229	Southwestern europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3619-3619	Tropics and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	Tropics and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3618-3618	Tropics and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3620-3620	Tropics and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 201-201	Western africa and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	Western africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 204-204	Western africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 202-202	Western africa and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 221-221	Western europe and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 222-222	Western europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 253-253	Western south america and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 254-254	Western south america and southern hemisphere overlapsSpatially
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