an inflammable oil obtained by distillation from petroleum or shale; paraffin oil.