| 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 6724-6724 | Gheg 团体阿尔巴尼亚人语 是 阿尔巴尼亚语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6753-6753 | 托斯克集团阿尔巴尼亚语 是 阿尔巴尼亚语 的 subclass |
|
|