| 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 6909-6909 | 东部波罗的海语言 是 波罗的海语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6950-6950 | 西方波罗的海语言 是 波罗的海语言 的 subclass |
|
|