noun Mining. a hole drilled in the earth, as for the purpose of extracting a core, releasing gas, oil, water, etc. nouna hole driven into the ground to obtain geological information, release water, etc