No TPTP formula. May not be expressible in strict first order.	Languages.kif 14695-14695	WolofLanguage e' uma instancia de NigerCongoLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14523-14523	XhosaLanguage e' uma instancia de NigerCongoLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14696-14696	YorubaLanguage e' uma instancia de NigerCongoLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14528-14528	ZuluLanguage e' uma instancia de NigerCongoLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14555-14555	AkanLanguage e' uma sub-classe de NigerCongoLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40515-40515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40514-40514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40513-40513

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