Glossary of Mining Terms Coal Education
Among the various types of crushers are the ball mill, gyratory crusher, Handsel mill, hammer mill, jaw crusher, rod mill, rolls, stamp mill, and tube mill. ... Undercut To cut below or undermine the coal face by chipping away the coal by pick or mining machine. In some localities the terms "undermine" or "underhole" are used.