No TPTP formula. May not be expressible in strict first order. | Languages.kif 7105-7105 | GermanicLanguage e' uma sub-classe de IndoEuropeanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7112-7112 | EastGermanicLanguage e' uma sub-classe de GermanicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7130-7130 | NorthGermanicLanguage e' uma sub-classe de GermanicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | WestGermanicLanguage e' uma sub-classe de GermanicLanguage |
![]() |