No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | German group language is a subclass of west germanic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | Middle german language is a subclass of german group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | Upper german language is a subclass of german group language |
![]() |