Definición de polishing mill en Inglés

polishing mill

nombre

  • 1A factory in which products are polished.

  • 2A lap of metal or other material used in polishing gems (now rare).

Origen

Mid 18th century; earliest use found in Keyssler's Travels.