No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | Eastern berber language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4620-4620 | Awjila sokna language is a subclass of eastern berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4642-4642 | Siwa group language is a subclass of eastern berber language |