No TPTP formula. May not be expressible in strict first order. | Languages.kif 12456-12456 | Niger congo language is a subclass of spoken human 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 |