pulir - to polish; to improve or perfectSpanish example: Con estos diamantes se fabrican muelas para pulir herramientas.
English example: With these diamonds they make grindstones for polishing tools.
Source:
pulir - to polish; to improve or perfect