mineral jelly n : a semi-solid mixture of hydrocarbons obtained from petroleum; used in medicinal ointments and for lubrication [syn: petrolatum, petroleum jelly]