A abrasive stone used, along with lubricant, to sharpen tools.
A fine-grained stone, lubricated with oil, which is used for sharpening cutting edges. Also called sharpening stone.
A stone used to sharpen tools. The stone is lubricated with oil before use.