raise borer (English, noun)
expansion: raise borer (plural raise borers)
Senses:
glosses: A machine used to excavate a circular hole between two levels of an underground mine without the use of explosives.
Forms:
form: raise borers
tags: plural