| Término | Fuente | Ubicación | Cita | Notas |
|---|---|---|---|---|
| grava | Diccionario de la lengua española, 1970. | Conjunto de guisas o piedras peladas./ Mezcla de guisas arena y a veces arcilla que se encuentra en Yacimientos. | Materia: A. | |
| grava | Diccionario de arquitectura civil | La arena más gruesa, que la mayor es de río, y sirve para enarenar los caminos, las calles de los jardines, &c. |