"gruvehåndverker" er et 15-bokstavers substantiv som brukes som synonym for "gruvearbeider". gruvearbeider betyr: En håndverker eller arbeider i en gruve.