#quenched_steel  steel that has been hardened by immersing it in water or oil to cool it
  supertype:  #steel  an alloy of iron with small amounts of carbon; widely used in construction; mechanical properties can be varied over a wide range
  substance:  #martensite
  subtype:  #oil-hardened_steel  steel that is quenched in oil

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