No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12488-12488 |
AfittiLanguage e' uma instancia de NyimangLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12497-12497 |
AmaNyimangLanguage e' uma instancia de NyimangLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41488-41488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41487-41487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41486-41486 |
|