No TPTP formula. May not be expressible in strict first order. | Languages.kif 5106-5106 | 子類 土耳其語 and 阿爾泰語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5112-5112 | 子類 東部土耳其語 and 土耳其語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5278-5278 | 子類 南部土耳其語 and 土耳其語 |