A refined petroleum fraction used as a fuel as well as a solvent.
[Gr.] An oil extracted from bituminous coal.