No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13818-13818 |
加莱拉语 是 galela loloda 语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13833-13833 |
拉巴语 是 galela loloda 语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13842-13842 |
Loloda语言 是 galela loloda 语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25352-25352 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25351-25351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25350-25350 |
|