矸石

gānshí

〖wasterock〗采矿过程(开拓、掘进、剥离、回采)中,从井下或露天矿场开采出的或混入矿石中的岩石

矸子

gānzi

〖wasterock〗矸石的通称