#file.hand_tool  a steel hand tool with small sharp teeth on some or all of its surfaces; used for smoothing wood or metal
  supertype:  hand_tool  a tool used with workers' hands
  part:  haft
  subtype:  blunt_file__bluntfile  a file with parallel edges
  subtype:  flat_file  a file with two flat surfaces
  subtype:  nailfile  a small flat file for shaping the nails
  subtype:  wood_file__rasp  a coarse file with sharp pointed projections
  subtype:  rat-tail_file  a thin round file shaped like the tail of a rat
  subtype:  round_file__roundfile  a file with a circular cross section; used to file the inside of holes
  subtype:  taper_file__taperfile  a file with converging edges

No statement uses or specializes file.hand_tool; click here to add one.