Diccionario castellano con las voces de ciencias y artes
Esteban de Terreros y Pando · 1786-1793
Gratór
tomo 2 · página 236 · ver la página del original
GRATÓR, nombre que dan los Estañeros á una cuchilla en figura de rejon, que les sirve para rascar las piezas, quitando las desigualdades, por lo cual le Ilaman tambien rascadór.
la historia de «grator», de obra en obra →
abrir en el lector · buscarla en todos los diccionarios · los datos de la obra