Gas oil is one of a family of heavy oils made from the fractional distillation of petroleum. For heating applications, it’s known as gas oil, for automotive and plant applications it is usually called diesel fuel.