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 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7947-7947 | Alemannic language is a subclass of upper german language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8022-8022 | Allemannic language is a subclass of upper german language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8059-8059 | Bavarian austrian language is a subclass of upper german language |