No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10078-10078 |
例 auvergnat語言 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10091-10091 |
例 gascon語言 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10139-10139 |
例 語言學 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10125-10125 |
例 利穆讚語 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10159-10159 |
例 普羅旺斯語 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10189-10189 |
例 shuadit語言 and oc語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41646-41646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41645-41645 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41644-41644 |
|