No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8895-8895 |
例 中央普什圖語 and 普什圖語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8905-8905 |
例 北普什圖語 and 普什圖語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8938-8938 |
例 南部的普什圖語 and 普什圖語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8961-8961 |
例 waneci語言 and 普什圖語 |
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 |
|