|
| 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