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 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 |
|