#power_hammer__powerhammer__hammer  a power tool for drilling rocks
  supertype:  #power_tool__powertool  a tool driven by a motor
  subtype:  #air_hammer__airhammer__jackhammer__pneumatic_hammer__pneumatichammer  a hammer driven by compressed air
  subtype:  #electric_hammer  a hammer driven by electric motor
  subtype:  #triphammer  a massive power hammer; raised by a cam until released to fall under gravity

No statement uses or specializes #power_hammer; click here to add one.