(<Eng.), v.,
1. aardolie; een minerale, licht ontvlambare olie met een eigenaardige bitumineuze reuk: geraffineerde petroleum, waaraan de petroleumaether, naphtha en benzine onttrokken zijn, vooral tot verlichting in lampen en als brandstof gebezigd;
2. (meton.) exploitatie van petroleumbronnen: hij zit in de petroleum;
3. (Barg.) jenever. Ook PETRO'LIE.
