The term 'Rock That Is Mined' can be summarized by the crossword solution 'ORE', which is a three-letter word. ORE is a type of rock that contains valuable minerals or metals that can be extracted and used for various purposes. It is usually mined from the ground using specialized equipment and techniques. ORE is an important resource in many industries, including construction, manufacturing, and energy production.