Definition of "Mining" :

noun: the act of extracting ores or coal etc from the earth

noun: laying explosive mines in concealed places to destroy enemy personnel and equipment