No TPTP formula. May not be expressible in strict first order. | Languages.kif 12477-12477 | West eastern sudanic language is a subclass of eastern sudanic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12483-12483 | Nyimang language is a subclass of west eastern sudanic language |