1) Accessed ore 2) Availed oneself of 3) Booby-trapped 4) Booby-trapped with explosives 5) Brought to the surface 6) Dangerous for destroyers 7) Deep-mined 8) Did some digging 9) Drew useful material from 10) Dug coal 11) Dug deep 12) Dug for coal 13) Dug for diamonds 14) Dug for gold 15) Dug up 16) Dug up minerals 1) Care 2) Marx brother 
[text editor] MinEd (pronounced min-ed) is a terminal-based text editor providing extensive Unicode and CJK support, available under the GPL. Mined is available for Unix and Linux, Windows and DOS systems, and is included in the SUSE, Debian, Cygwin and FreeBSD distributions. It was the first editor that supported Unicode in a plain-text te...
• (imp. & p. p.) of Mine
[adj] - extracted from a source of supply as of minerals from the earth
adjective extracted from a source of supply as of minerals from the earth