No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13818-13818 |
GalelaLanguage est une instance de GalelaLolodaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13833-13833 |
LabaLanguage est une instance de GalelaLolodaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13842-13842 |
LolodaLanguage est une instance de GalelaLolodaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25352-25352 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25351-25351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25350-25350 |
|