No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8895-8895 |
中央普什图语 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8905-8905 |
北普什图语 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8938-8938 |
南部的普什图语 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8961-8961 |
Waneci语言 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44640-44640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44639-44639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44638-44638 |
|