No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5849-5849 |
阿瓦cuaiquer语言 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5843-5843 |
Barbacoas语言 是 普什图语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44742-44742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44741-44741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44740-44740 |
|