#mine.explosive_device  explosive device that explodes on contact; designed to destroy vehicles or ships or to kill or maim personnel
  supertype:  #explosive_device__explosivedevice  device that bursts with sudden violence from internal energy
  subtype:  #floating_mine__marine_mine  an explosive mine designed to destroy ships that bump into it
     subtype:  #magnetic_mine  a marine mine that is detonated by a mechanism that responds to magnetic material (as the steel hull of a ship)
  subtype:  #land_mine__ground-emplaced_mine__booby_trap__boobytrap  an explosive mine hidden underground; explodes when stepped on or driven over
     subtype:  #bouncing_betty  an anti-personnel land mine
     subtype:  #claymore_mine__claymore  an anti-personnel land mine whose blast is aimed at the oncoming enemy

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