No, and yes.
a pun that's funny
Two types.1. Punny,2. Not punny.
A punny?
The cast of Punny Earthlings - 2008 includes: Marco Costa Charlotte Coy
North Carolina, but you could say the Wright brothers landed in a state of euphoria, if you were being punny.
It is the quality of containing a play on words or pun. Often when faced with someone saying something like "I would like to report on the party where everyone was taking extasy but I wouldn't want to give a rave review." another person will say "Very punny". "Punny" in this context is a pun in itself, since it acknowledges that "rave review" is a pun, is using the expression "very funny" and playing on the words pun and fun.
money, funny, honey, sunny.
Punny you mention that.
It doesn't nut punny
The cast of Kids Are Punny - 1998 includes: Gilbert Gottfried as himself Josh Peck as himself Joel Plue as himself Chris Rock as himself Mary Tyler Moore as herself
It is on dictionary.reference.com, but I'm not sure about a real dictionary. Maybe if you bought the newest version you could find it.
i think the group of notes is a segment! :)