No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14694-14694 |
WalloonLanguage e' uma instancia de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9752-9752 |
FrenchGroupLanguage e' uma sub-classe de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9937-9937 |
SoutheasternOielLanguage e' uma sub-classe de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41928-41928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41927-41927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41926-41926 |
|