No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | 子類 低撒克遜低法蘭克語 and 西德語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8228-8228 | 子類 低法蘭克語 and 低撒克遜低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8333-8333 | 子類 低撒克遜群體語言 and 低撒克遜低法蘭克語 |