Pun
WordNet
noun
(1) A humorous play on words
"I do it for the pun of it"
"His constant punning irritated her"
verb
(2) Make a play on words
"Japanese like to pun--their language is well suited to punning"
WiktionaryText
Noun
- A joke or type of wordplay in which similar senses or sounds of two words or phrases, or different senses of the same word, are deliberately confused.
Usage notes
Note: Because some puns are based on pronunciation, puns are more obvious when spoken aloud.
- This rock is gneiss, but don’t take it for granite (which reads (with a US accent) similarly to “This rock is nice, but don’t take it for granted”; “gneiss” and “granite” are both types of rock)
Verb
- To tell a pun, to make a play on words.
- We punned about the topic until all around us groaned.
----