n. any implement that is used to make something (an edge or a point) sharper
n. 削刀( sharpener的复数形式 ); 磨床; 磨器; 磨具