磨矿这个词是矿产行业的一个术语,目的为了把矿石中的脉石矿物分出,并把各种有用矿物相互分开,方便生产程序简单化。
矿产业是根据矿产发展起来的行业,主要的矿产资源有以下几类:
(一)能源矿产
煤、煤成气、石煤、油页岩、石油、天然气、油砂、天然沥青、铀、钍、地热。
(二)金属矿产
铁、锰、铬、钒、钛;铜、铅、锌、铝土矿、镍、钴、钨、锡、铋、钼、汞、锑、镁;铂、钯、钌、锇、铱、铑;金、银;铌、钽、铍、锂、锆、锶、铷、铯;镧、铈、镨、钕、钐、铕、钇、钆、铽、镝、钬、铒、铥、镱、镥;钪、锗、镓、铟、铊、铪、铼、镉、硒、碲。