arsenal.(Del ár. hisp. *ãdár a??án¿a, este de dár a??iná¿a, y este del ár. clás. dar a??ina¿ah, casa de la industria).
1. m. Establecimiento militar o particular en que se construyen, reparan y conservan las embarcaciones, y se guardan los pertrechos y géneros necesarios para equiparlas.
2. m. Depósito o almacén general de armas y otros efectos de guerra.