#mining__excavation  the act of extracting ores or coal etc from the earth
  supertype:  production  (economics) manufacturing or mining or growing something (usually in large quantities) for sale; "he introduced more efficient methods of production"
  subtype:  placer_mining  mining valuable minerals from a placer by washing or dredging
  subtype:  strip_mining__stripmining__opencast_mining  the mining of ore or coal from an open mine

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