No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11950-11950 |
EmokLanguage e' uma instancia de MascoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11958-11958 |
GuanaLanguage e' uma instancia de MascoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11975-11975 |
LenguaLanguage e' uma instancia de MascoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11987-11987 |
SanapanaLanguage e' uma instancia de MascoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12004-12004 |
TobaMaskoyLanguage e' uma instancia de MascoianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36377-36377 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36376-36376 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36375-36375 |
|