revenimiento
m.- Acción y efecto de revenir o revenirse.
- Ingen. Hundimiento parcial del terreno de una mina.
Fuente: Diccionario de la RAE (23.ª ed.)
Diccionario
Definiciones, acepciones y etimología. También funciona con formas conjugadas y plurales.