NigerCongoLanguage(niger congo language) |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14695-14695 | Wolof language is an instance of niger congo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14523-14523 | Xhosa language is an instance of niger congo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14696-14696 | Yoruba language is an instance of niger congo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14528-14528 | Zulu language is an instance of niger congo language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14555-14555 | Akan language is a subclass of niger congo language |
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 |