Belt punch
(Mach.) | a punch, or punch pliers, for making holes for lacings in the ends of driving belts. |
See also: Punch
Webster's Revised Unabridged Dictionary, published 1913 by G. & C. Merriam Co.
(Mach.) | a punch, or punch pliers, for making holes for lacings in the ends of driving belts. |
See also: Punch