Колошниковый газ

Колошниковый газ, отходящий газ доменных печей; см. в статьях Доменное производство, Доменный газ.