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 49984-49984 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49983-49983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49982-49982 |
|