firedamp-drainage drill
firedamp-drainage drill
[′fīr‚damp ‚drān·ij ‚dril] (mining engineering)
A heavy, compressed-air-operated, percussive, rotary or rotary-percussive drilling machine for putting up the boreholes in firedamp drainage.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.