No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4900-4900 |
例 senhaja de srair 語 and riff語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4884-4884 |
例 tarifit語言 and riff語言 |
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 |
|