. . . . . . . "Irajatherium is a genus known only by the species Irajatherium hernadezi. (Martinelli, 2005). It is named in honor of Iraj\u00E1 Damiani Pinto."@en .