No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14694-14694 |
WalloonLanguage est une instance de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9752-9752 |
FrenchGroupLanguage est une sous-classe de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9937-9937 |
SoutheasternOielLanguage est une sous-classe de OielLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41930-41930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41929-41929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41928-41928 |
|