|
|
| a flat stone for sharpening edged tools or knives | ||||
|
|
| rotary file for smoothing rough edges left on a workpiece | ||||
|
|
| a revolving stone shaped like a disk; used to grind or sharpen or polish edge tools | ||||
|
|
| a primitive stone artifact (usually made of sandstone) used as an abrader | ||||
|
|
| a whetstone made of fine gritstone; used for sharpening razors |