No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | 子類 中德語 and 德語小組語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7738-7738 | 子類 東中德語 and 中德語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7826-7826 | 子類 摩澤爾法蘭克中德語 and 中德語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7872-7872 | 子類 西中德語 and 中德語 |
![]() |