No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | 中德语 是 德语小组语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7738-7738 | 东中德语 是 中德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7826-7826 | 摩泽尔法兰克中德语 是 中德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7872-7872 | 西中德语 是 中德语 的 subclass |