No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	Northern south america and northern 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 3533-3533	South america and northern 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 265-265	Southern asia and northern 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 203-203	Western africa and northern 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 4591-4591	Northeastern Pacific ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4604-4604	Northwestern Pacific Ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41097-41097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41096-41096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41095-41095

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