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:

mined \mined\ adj.
   extracted from a source of supply as of minerals from the
   earth. [Narrower terms: deep-mined; exploited;
   strip-mined]
   [WordNet 1.5]

WordNet (r) 3.0 (2006):

mined
    adj 1: extracted from a source of supply as of minerals from the
           earth [ant: unmined]