No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | BerberLanguage est une sous-classe de AfroAsiaticLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | EasternBerberLanguage est une sous-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4657-4657 | GuanacheGroupLanguage est une sous-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | TamasheqGroupLanguage est une sous-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | ZenagaGroupLanguage est une sous-classe de BerberLanguage |
![]() |