bore-hole has definitions from the field of mining
1
[ noun ] (mining terms) a hole or passage made by a drill; usually made for exploratory purposes

Synonyms

drill_hole bore

Related terms

excavation shot_hole mining

*