Source : Webster's Revised Unabridged Dictionary (1913)

Pun \Pun\, v. i. [imp. & p. p. {Punned}; p. pr. & vb. n.
   {Punning}.]
   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. --Dryden.

Source : WordNet®

pun
     n : a humorous play on words; "I do it for the pun of it"; "his
         constant punning irritated her" [syn: {punning}, {wordplay},
          {paronomasia}]
     [also: {punning}, {punned}]

pun
     v : make a play on words; "Japanese like to pun--their language
         is well suited to punning"
     [also: {punning}, {punned}]

punning
     n : a humorous play on words; "I do it for the pun of it"; "his
         constant punning irritated her" [syn: {pun}, {wordplay},
         {paronomasia}]

punning
     See {pun}