No TPTP formula. May not be expressible in strict first order. | Languages.kif 4943-4943 | TnLqDZ&term=NorthernTamasheqLanguage">NorthernTamasheqLanguage e' uma tnLqDZ&term=subclass">sub-classe de tnLqDZ&term=TamasheqGroupLanguage">TamasheqGroupLanguage |
![]() |