No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	NorthernSouthAmerica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3556-3556	Oceania recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3533-3533	SouthAmerica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	SoutheasternAsia recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 265-265	SouthernAsia recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	Tropics recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	WesternAfrica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 253-253	WesternSouthAmerica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4591-4591	NortheasternPacificOcean est partiellement localis� � NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4604-4604	NorthwesternPacificOcean est partiellement localis� � 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