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 4943-4943 | NorthernTamasheqLanguage est une sous-classe de TamasheqGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4976-4976 | SouthernTamasheqLanguage est une sous-classe de TamasheqGroupLanguage |