Petroleum
Destillationsfraktion zwischen Benzin und Gasöl, größtenteils für die Herstellung von Flugpetrol (Turbinentreibstoff) verwendet, in geringerem Masse als Leuchtpetrol, zu Reinigungszwecken etc. Zu beachten ist hier der sprachliche Gebrauch im Englischen und Deutschen. Petroleum heißt im Englischen Kerosene (Kerosin). Was im Englischen als Petroleum bezeichnet wird, meint Mineralöl.