petroleum jelly
Petroleum jelly.
Any particular kind of petroleum jelly or of any similar lubricant.
To lubricate with vaseline.