"miningarbeider" er et 14-bokstavers substantiv som brukes som synonym for "gruvearbeider". gruvearbeider betyr: En person som arbeider i en gruve, ofte brukt i en mer internasjonal kontekst.