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 7726-7726 |
德语小组语言 是 西德语 的 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 8223-8223 |
低撒克逊低法兰克语 是 西德语 的 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. |
domainEnglishFormat.kif 62867-62867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62866-62866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62865-62865 |
|