A distillate of petroleum (especially one used medicinally as a laxative or stool softener) English: mineral oil