| 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 4620-4620 | 子類 awjila sokna 語言 and 東伯爾伯語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4642-4642 | 子類 西瓦集團的語言 and 東伯爾伯語 |
|
|