矢量卡通小矮人矿工

现实社会中指在矿山上班的工人，包括各种矿山工种的工人的总称。