Definition of refuge hole in English:

refuge hole

noun

Mining
historical
  • An area to the side of an underground road in which miners take shelter from passing trains, blasting, etc.

Origin

Mid 19th century; earliest use found in The Times.