1. 锉刀:压蒜器由压柄、压座和压锉刀(File)是指表面上有许多细密刀齿、条形,用于锉光工件的手工工具. 锉刀主要用于对金属、木料、皮革等表层做微量加工. 锉刀的应用很早,已发现的最古老的锉刀是公元前1500年左右埃及的青铜制锉刀.
1. on file : 存档;
file