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 7732-7732 | 子類 中德語 and 德語小組語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | 子類 上德語 and 德語小組語言 |
![]() |