grator
En 5 obras de la biblioteca, de 1786 a 1917: cada una con su definición, tal como la imprimió, y el enlace a su artículo y a la página del original. La grafía es la de cada época.
1786-1793 Terreros
Esteban de Terreros y Pando, Diccionario castellano con las voces de ciencias y artes · la obra
Gratór, pág. 236 · el artículo y su 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.
1847 Salvá
Vicente Salvá, Nuevo diccionario de la lengua castellana · la obra
Grator, pág. 561 · el artículo y su página del original →
GRATOR. m. Rascador que usan los estañeros para quitar las desigualdades de las piezas.
1880-1883 Barcia
Roque Barcia, Primer diccionario general etimológico · la obra
Grator, pág. 1019 · el artículo y su página del original →
Grator. Masculino. Rasador que usan los estañeros para quitar las desigualdades de las piezas. ETIMOLOGÍA. Gratar.
1887-1889 Echegaray
Roque Barcia y Eduardo de Echegaray, Diccionario general etimológico (Echegaray) · la obra
Grator, pág. 577 · el artículo y su página del original →
Grator. Masculino. Rasador que usan los estaneros para quitar las desigualdades de las piezas. ETIMOLOGIA. De gratar.
1917 (2.ª ed., s. a., antes de 1919) Alemany
José Alemany y Bolufer, Diccionario de la lengua española · la obra
Grator, pág. 849 · el artículo y su página del original →
GRATOR. (de gratar). m. Art. y Of. ear de estañeros.