"mininglampe" er et 11-bokstavers substantiv som brukes som synonym for "gruvelampe". gruvelampe betyr: Engelsk lånord for lampe brukt i gruvedrift