一种磨刃具用的天然石或人工石使用时要用油的磨石可用于制作油石的岩石