To dig a mine or pit in the earth; to get ore, metals, coal, or precious stones, out of the earth; to dig in the earth for minerals; to dig a passage or cavity under anything in order to overthrow it by explosives or otherwise.