No TPTP formula. May not be expressible in strict first order. | Languages.kif 7105-7105 | GermanicLanguage est une sous-classe de IndoEuropeanLanguage |
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 |
![]() |