No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4900-4900 |
Senhaja de srair 语 是 riff语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4884-4884 |
Tarifit语言 是 riff语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49982-49982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49981-49981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49980-49980 |
|