piedra de pulir

Sustantivo
  1. Roca o piedra utilizada para alisar y pulir superficies duras, como metales o piedras preciosas.
    Utilizó una piedra de pulir para darle brillo a la joya.
synonyms: piedra pulidora, piedra de esmeril