Det Norske Akademis Ordbok

gruvegass

gruvegass 
substantiv
BETYDNING OG BRUK
(eksplosjonsfarlig) gass, hovedsakelig metan, som dannes i (kull)gruver