min.er
n.(名词)One whose work or business it is to extract ore or minerals from the earth.矿工:从事从地底发掘矿石或矿物质工作或生意的人A machine for the automatic extraction of minerals, especially of coal.采矿机:自动采掘矿藏,尤指煤的机器A member of a military unit engaged in laying explosive mines.坑道工兵:安放地雷的军事组织的成员Zoology A leaf miner.【动物学】 潜叶虫