Meaning of power hammer

(noun) a power tool for drilling rocks