Webster's Revised Unabridged Dictionary · 1913

bore-hole

bore-hole , noun

(mining) a hole or passage made by a drill, especially one made for exploratory purposes.