No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | GermanGroupLanguage e' uma sub-classe de WestGermanicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | MiddleGermanLanguage e' uma sub-classe de GermanGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | UpperGermanLanguage e' uma sub-classe de GermanGroupLanguage |
![]() |