矿工用工具的英文

• miner's tool

• 矿工:    miner; rockman; pitman; groo ...
• 具:    utensil; tool; implement
• 冷加工用工具钢:    tool steel for cold working
• 热加工用工具钢:    tool steel for hot working
• 光学玻璃冷加工用工具(磨板及磨盘):    optical tool