1. 采矿;采矿业
Mining is the industry and activities connected with getting valuable or useful minerals from the ground, for example coal, diamonds, or gold.

1. the act of extracting ores or coal etc from the earth

Synonym: excavation

2. laying explosive mines in concealed places to destroy enemy personnel and equipment

Synonym: minelaying