Glossary of Mining Terms
Crusher A machine for crushing rock or other materials. 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. ... Rib The side of a pillar or the wall of an entry. The solid coal on the side of any underground passage. Same as rib pillar.