No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7112-7112 |
EastGermanicLanguage est une sous-classe de GermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7130-7130 |
NorthGermanicLanguage est une sous-classe de GermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7313-7313 |
WestGermanicLanguage est une sous-classe de GermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25884-25884 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25883-25883 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25882-25882 |
|