mined

That has been mined (in various senses).

已被开采的；已被挖掘的(各种意义上)。