No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	NorthernSouthAmerica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3556-3556	Oceania engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3533-3533	SouthAmerica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	SoutheasternAsia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 265-265	SouthernAsia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	Tropics engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	WesternAfrica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 253-253	WesternSouthAmerica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4591-4591	NortheasternPacificOcean e' parcialmente localizado em NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4604-4604	NorthwesternPacificOcean e' parcialmente localizado em NorthernHemisphere
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