No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | 西德语 是 德系语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | 英语组语言 是 西德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7655-7655 | 弗里斯兰语 是 西德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | 高德语 是 西德语 的 subclass |
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 8167-8167 | 意第绪语 是 西德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | 低撒克逊低法兰克语 是 西德语 的 subclass |
![]() |