petricolidi
petricòlidi s. m. pl. [lat. scient. Petricolidae, dal nome del genere Petricola, comp. del lat. petra «pietra, roccia» e -cola «-colo»]. – Famiglia di molluschi bivalvi dell’ordine eulamellibranchi che comprende specie marine litofaghe, che perforano le rocce calcaree.