矿丁的反义词大全

矿丁是指在矿山中从事开采、运输、处理矿石等工作的人员。