family Procaviidae n 1: includes all recent members of the order Hyracoidea [syn: {Procaviidae}, {family Procaviidae}]