grava —
s f Conjunto de piedras muy pequeñas, en especial las que se usan en albañilería y en la pavimentación de calles y carreteras: "El camino está resbaloso por la grava suelta".
Diccionario del español usual en México
grava —
f Árido que queda retenido por un tamiz de 4,76 mm. También llamada árido grueso.
Diccionario de arquitectura
Grava —
(rocas sedimentarias) Material redondeado producto de la desintegración, natural o artificial, de cualquier tipo de roca, especialmente de aquellas ricas en cuarzo, cuyo tamaño es superior a dos (2) milímetros de diámetro.
Glosario técnico minero
grava —
Sedimento constituido en su mayor parte por fragmentos de roca de un diámetro superior a un milímetro, generalmente redondeado.
Diccionario ecológico