No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13818-13818 |
例 加萊拉語 and galela loloda 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13833-13833 |
例 拉巴語 and galela loloda 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13842-13842 |
例 loloda語言 and galela loloda 語 |
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 |
|