NigerCongoLanguage(尼日尔刚果语)

-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14695-14695 WolofLanguage尼日尔刚果语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14523-14523 XhosaLanguage尼日尔刚果语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14696-14696 YorubaLanguage尼日尔刚果语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14528-14528 ZuluLanguage尼日尔刚果语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14555-14555 AkanLanguage尼日尔刚果语subclass
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