#pocketknife__pocket_knife  a knife with a blade that folds into the handle; suitable for carrying in the pocket
  supertype:  #knife  edge tool used as a cutting instrument; has a pointed blade with a sharp edge and a handle
  subtype:  #clasp_knife__jackknife  a large knife with one or more folding blades
  subtype:  #penknife  a small pocketknife; originally used to cut quill pens
  subtype:  #switchblade_knife__switchbladeknife__switchblade__flick_knife__flickknife  a pocketknife with a blade that springs open at the press of a button

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