No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14613-14613 |
EstonianLanguage e' uma instancia de UralicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14430-14430 |
FinnishLanguage e' uma instancia de UralicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14622-14622 |
HungarianLanguage e' uma instancia de UralicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14640-14640 |
KomiLanguage e' uma instancia de UralicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14674-14674 |
NorthernSamiLanguage e' uma instancia de UralicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60680-60680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60679-60679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60678-60678 |
|