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.