That has not been mined.
Mid 19th century; earliest use found in James Rennie (1787–1867), naturalist. From un- + mined.
英汉双解词典包含464360条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。