No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | Altaic language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5106-5106 | Turkic language is a subclass of altaic language |