| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | 低撒克逊低法兰克语 是 西德语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8228-8228 | 低法兰克语 是 低撒克逊低法兰克语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8333-8333 | 低撒克逊群体语言 是 低撒克逊低法兰克语 的 subclass |
|
|