تعریف و معنای "coal gas"

gaseous mixture produced by distillation of bituminous coal and used for heating and lighting