No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | 德语小组语言 是 西德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | 中德语 是 德语小组语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | 上德语 是 德语小组语言 的 subclass |
![]() |