| 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 8518-8518 | 阁楼希腊语言 是 希腊团体语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8621-8621 | 多立克语希腊语 是 希腊团体语言 的 subclass |
|
|