An oil used for illuminating purposes, formerly obtained
   from the distillation of mineral wax, bituminous shale, etc., and hence
   called also coal oil. It is now produced in immense quantities, chiefly
   by the distillation and purification of petroleum. It consists chiefly
   of several hydrocarbons of the methane series.