No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14626-14626 |
InuktitutLanguage 是 爱斯基摩人阿拉伯语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14629-14629 |
InupiaqLanguage 是 爱斯基摩人阿拉伯语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14631-14631 |
KalaallisutLanguage 是 爱斯基摩人阿拉伯语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22420-22420 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22419-22419 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22418-22418 |
|