[FEATURE] Deeper classification of mining facilities

## Preferred term label

adit, borrow pit, quarry, gypsum quarry, etc.

## Synonyms

inline

## Textual definition

Definitions derived from 1997 AGI dictionary of mining terms source

## Suggested parent term

Starting at http://sweetontology.net/matrFacility/MiningFacility with some subclassing

## Attribution

https://orcid.org/0000-0003-1682-4031