#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.