No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9746-9746 |
OielLanguage est une sous-classe de GalloRhaetianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9970-9970 |
RhaetianLanguage est une sous-classe de GalloRhaetianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25394-25394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25393-25393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25392-25392 |
|