edge tool: any cutting tool with a sharp cutting edge (as a chisel or knife or plane or gouge)
swimming stroke: a method of moving the arms and legs to push against the water and propel the swimmer forward