No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6165-6165 |
OroWinLanguage e' uma instancia de MadeiraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6175-6175 |
PakaasnovosLanguage e' uma instancia de MadeiraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6183-6183 |
ToraLanguage e' uma instancia de MadeiraLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35579-35579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35578-35578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35577-35577 |
|