| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | 子類 西德語 and 德系語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | 子類 英語組語言 and 西德語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7655-7655 | 子類 弗里斯蘭語 and 西德語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | 子類 高德語 and 西德語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | 子類 德語小組語言 and 西德語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8167-8167 | 子類 意第緒語 and 西德語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | 子類 低撒克遜低法蘭克語 and 西德語 |
|
|