petroleum jelly n 1: a semisolid mixture of hydrocarbons obtained from petroleum; used in medicinal ointments and for lubrication [syn: {petrolatum}, {petroleum jelly}, {mineral jelly}]