| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7872-7872 | 西中德语 是 中德语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7878-7878 | 摩泽尔法兰克西部中德语 是 西中德语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7908-7908 | Rhenisch Franconian西中德语 是 西中德语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7924-7924 | 卢旺达法郎西西德语 是 西中德语 的 subclass |
|
|