mineral jelly n a semisolid mixture of hydrocarbons obtained from petroleum; used in medicinal ointments and for lubrication Synonym(s) petrolatum petroleum jelly