| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | 柏柏尔语言 是 非洲亚洲语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | 东伯尔伯语 是 柏柏尔语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4657-4657 | Guanache集团的语言 是 柏柏尔语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | Tamasheq集团的语言 是 柏柏尔语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | Zenaga集团的语言 是 柏柏尔语言 的 subclass |
|
|