No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | Berber language is a subclass of afro asiatic language |
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 4657-4657 | Guanache group language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | Tamasheq group language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | Zenaga group language is a subclass of berber language |