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 44642-44642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44641-44641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44640-44640 |
|