Instrument: punch tool

Acronym: punch tool
External Identifier:

Description

A punch tool is a tool used to make holes or indentations in materials. 
Examples include: grommet punch, perforator, hole punch, biopsy punch tool, core cutter. 


Dataset NamePI-Supplied DescriptionPI-Supplied Name
DRAFT Turf cover data for coral-turf contact experimentSamples from S. nigricans territories were collected using a 1.3 cm grommet punch. grommet punch