No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7732-7732 |
MiddleGermanLanguage est une sous-classe de GermanGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7941-7941 |
UpperGermanLanguage est une sous-classe de GermanGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25878-25878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25877-25877 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25876-25876 |
|