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 7738-7738 | East middle german language is a subclass of middle german language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7826-7826 | Moselle franconian middle german language is a subclass of middle german language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7872-7872 | West middle german language is a subclass of middle german language |
![]() |