No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6165-6165 |
OroWinLanguage est une instance de MadeiraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6175-6175 |
PakaasnovosLanguage est une instance de MadeiraLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6183-6183 |
ToraLanguage est une instance 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 |
|