Class [Mammalia] Linnaeus, 1758 - mammals Order Hyracoidea Huxley, 1869 - hyraxes Family Procaviidae Thomas, 1892 - hyraxes Genus Procavia Storr, 1780 - large-toothed rock hyraxes Procavia habessinica (Hemprich & Ehrenberg, 1832) see Procavia capensis habessinica (Hemprich & Ehrenberg, 1832)