| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6717-6717 |
阿尔巴尼亚语 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6816-6816 |
亚美尼亚语言 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6903-6903 |
波罗的海语言 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6965-6965 |
凯尔特语 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7105-7105 |
德系语 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8511-8511 |
希腊团体语言 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8647-8647 |
印度伊朗语 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9361-9361 |
斜体语言 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10691-10691 |
斯拉夫语 是 印度欧洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29683-29683 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29682-29682 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29681-29681 |
|
