No TPTP formula. May not be expressible in strict first order. | Languages.kif 5106-5106 | Turkic language is a subclass of altaic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5112-5112 | Eastern turkic language is a subclass of turkic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5278-5278 | Southern turkic language is a subclass of turkic language |