3. To get, as metals, out of the earth by digging.

The principal ore mined there is the bituminous cinnabar.

Ure.

The Gutenberg Webster's Unabridged Dictionary: Section M, N, and O · 第 601 / 2147 题