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