Noun: coal cutter
- (mining) a machine for undercutting a coal seam
"The coal cutter efficiently sliced into the coal face, preparing it for extraction"
Derived forms: coal cutters
Type of: machine