A play on words which have the same sound but different meanings; an expression in which two different applications of a word present an odd or ludicrous idea; a kind of quibble or equivocation.
To make puns, or a pun; to use a word in a double sense, especially when the contrast of ideas is ludicrous; to play upon words; to quibble.