| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9181-9181 |
例 aimaq語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9200-9200 |
例 bukharic語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9223-9223 |
例 達瓦齊語 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9215-9215 |
例 dehwari語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9232-9232 |
例 dzhidi語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9243-9243 |
例 東部波斯語 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9270-9270 |
例 hazaragi語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9319-9319 |
例 pahlavani語言 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9304-9304 |
例 塔吉克語 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9326-9326 |
例 西方波斯語 and 波斯語 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45288-45288 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45287-45287 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45286-45286 |
|
