A measure of the amount of fuel consumed in a car or other vehicle based on the distance traveled.

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

(logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

Alternative form of full-sibling

A state-owned investment fund investing in real and financial assets such as stocks, bonds, real estate, precious metals, etc.

(freestyle skiing) an aerialist maneuver consisting of a backflip in conjunction and simultaneous with two complete twists

Alternative form of full speed ahead

A player in Australian rules football and Gaelic football with a focus on kicking goals.

(markedly vulgar) The middle finger when raised in an obscene gesture.

pension fund