No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4900-4900 |
SenhajaDeSrairLanguage e' uma instancia de RiffLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4884-4884 |
TarifitLanguage e' uma instancia de RiffLanguage |
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 |
|