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. [ 1913 Webster ]

n. [ Cf. Pun to pound, Pound to beat. ] 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. Addison. [ 1913 Webster ]

A better put on this word was made on the Beggar's Opera, which, it was said, made Gay rich, and Rich gay. Walpole. [ 1913 Webster ]

v. t. [ See Pound to beat. ] To pound. [ Obs. ] [ 1913 Webster ]

He would pun thee into shivers with his fist. Shak. [ 1913 Webster ]

‖n. [ Sp., of Peruv. origin. ] A cold arid table-land, as in the Andes of Peru. [ Webster 1913 Suppl. ]

n. A thrust or blow. [ Colloq. ] [ 1913 Webster ]

n. [ Abbrev. fr. puncheon. ] 1. A tool, usually of steel, variously shaped at one end for different uses, and either solid, for stamping or for perforating holes in metallic plates and other substances, or hollow and sharpedged, for cutting out blanks, as for buttons, steel pens, jewelry, and the like; a die. [ 1913 Webster ]

2. (Pile Driving) An extension piece applied to the top of a pile; a dolly. [ 1913 Webster ]

3. A prop, as for the roof of a mine. [ 1913 Webster ]

Bell punch. See under Bell. --
Belt punch (Mach.), a punch, or punch pliers, for making holes for lacings in the ends of driving belts. --
Punch press. See Punching machine, under Punch, v. i. --
Punch pliers, pliers having a tubular, sharp-edged steel punch attached to one of the jaws, for perforating leather, paper, and the like. [ 1913 Webster ]

v. t. [ imp. & p. p. Punched p. pr. & vb. n. Punching. ] [ From Punch, n., a tool; cf. F. poinçonner. ] To perforate or stamp with an instrument by pressure, or a blow; as, to punch a hole; to punch ticket. [ 1913 Webster ]

Punching machine, or
Punching press, a machine tool for punching holes in metal or other material; -- called also punch press. [ 1913 Webster ]

n. [ Hind. pānch five, Skr. pa&unr_;can. So called because composed of five ingredients, viz., sugar, arrack, spice, water, and lemon juice. See Five. ] A beverage composed of wine or distilled liquor, water (or milk), sugar, and the juice of lemon, with spice or mint; -- specifically named from the kind of spirit used; as rum punch, claret punch, champagne punch, etc. [ 1913 Webster ]

Milk punch, a sort of punch made with spirit, milk, sugar, spice, etc. --
Punch bowl, a large bowl in which punch is made, or from which it is served. --
Roman punch, a punch frozen and served as an ice. [ 1913 Webster ]