| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5117-5117 |
阿伊努土耳其语 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5132-5132 |
Chagatai语言 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5138-5138 |
Ili turki 语言 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5158-5158 |
北乌兹别克语 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5193-5193 |
南乌兹别克语 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5213-5213 |
维吾尔语 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5264-5264 |
Yugur语言 是 东部土耳其语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20964-20964 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20963-20963 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20962-20962 |
|
