| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | BerberLanguage e' uma sub-classe de AfroAsiaticLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | EasternBerberLanguage e' uma sub-classe de BerberLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4657-4657 | GuanacheGroupLanguage e' uma sub-classe de BerberLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | TamasheqGroupLanguage e' uma sub-classe de BerberLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | ZenagaGroupLanguage e' uma sub-classe de BerberLanguage |
|
|