| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6710-6710 | 印度欧洲语言 是 LanguageFamily 的 subclass |
| 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 |
|
|