porpoise oil: a yellow fatty oil obtained from porpoises and used as a fine lubricant
oil: a slippery or viscous liquid or liquefiable substance not miscible with water
facility: something designed and created to serve a particular function and to afford a particular convenience or service