The Collaborative International Dictionary of English v.0.48:

Mine \Mine\, v. t. [imp. & p. p. Mined; p. pr. & vb. n.
   Mining.]
   [1913 Webster]
   1. To dig away, or otherwise remove, the substratum or
      foundation of; to lay a mine under; to sap; to undermine;
      hence, to ruin or destroy by slow degrees or secret means.
      [1913 Webster]

            They mined the walls.                 --Hayward.
      [1913 Webster]

            Too lazy to cut down these immense trees, the
            spoilers . . . had mined them, and placed a quantity
            of gunpowder in the cavity.           --Sir W.
                                                  Scott.
      [1913 Webster]

   2. To dig into, for ore or metal.
      [1913 Webster]

            Lead veins have been traced . . . but they have not
            been mined.                           --Ure.
      [1913 Webster]

   3. To get, as metals, out of the earth by digging.
      [1913 Webster]

            The principal ore mined there is the bituminous
            cinnabar.                             --Ure.
      [1913 Webster]

The Collaborative International Dictionary of English v.0.48:

Mining \Min"ing\, n. [See Mine, v. i.]
   The act or business of making mines or of working them.
   [1913 Webster]

The Collaborative International Dictionary of English v.0.48:

Mining \Min"ing\, a.
   Of or pertaining to mines; as, mining engineer; mining
   machinery; a mining region.
   [1913 Webster]

   Mining engineering. See the Note under Engineering.
      [1913 Webster]

WordNet (r) 3.0 (2006):

mining
    n 1: the act of extracting ores or coal etc from the earth [syn:
         mining, excavation]
    2: laying explosive mines in concealed places to destroy enemy
       personnel and equipment [syn: mining, minelaying]

Moby Thesaurus II by Grady Ward, 1.0:

85 Moby Thesaurus words for "mining":
   architecture, assembly, avulsion, building, casting, coal mining,
   composition, construction, conversion, crafting, craftsmanship,
   creation, cultivation, cutting out, deepening, depression,
   deracination, devising, digging, disentanglement, drawing,
   drawing out, dredging, drilling, elaboration, engraving,
   enucleation, eradication, erection, evolvement, evulsion,
   excavation, excision, expression, exsection, extirpation,
   extraction, extrication, fabrication, fashioning, formation,
   forming, formulation, framing, gold fever, gold mining, gold rush,
   growing, handicraft, handiwork, harvesting, indentation, lowering,
   machining, making, manufacture, manufacturing, milling, molding,
   placer claim, placer mining, prefabrication, preparation,
   pressing out, probing, processing, producing, pulling, quarrying,
   raising, refining, removal, ripping out, shaping, sinkage, sinking,
   smelting, squeezing out, strip mining, tunneling, unrooting,
   uprooting, withdrawal, workmanship, wresting out