#tool_steel  alloy steel that is suitable for making tools; is hard a tough and can retain a cutting edge
  supertype:  #alloy_steel__alloysteel  steel who characteristics are determined by the addition of other elements in addition to carbon
  subtype:  #high-speed_steel__hot-work_steel  an alloy steel that remains hard at a red heat; used to make metal-cutting tools

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