| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | 子類 柏柏爾語言 and 非洲亞洲語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | 子類 東伯爾伯語 and 柏柏爾語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4657-4657 | 子類 guanache集團的語言 and 柏柏爾語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | 子類 tamasheq集團的語言 and 柏柏爾語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | 子類 zenaga集團的語言 and 柏柏爾語言 |
|
|