Del ár. hisp. *ãdár aṣṣán‘a, este de dár aṣṣiná‘a, y este del ár. clás. dār aṣṣinā‘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.
Sin.: |
|
2. m. Depósito o almacén general de armas y otros efectos de guerra.
Sin.: |
|
3. m. Conjunto o depósito de noticias, datos, etc. Esa obra es el arsenal de donde Antonio saca sus noticias.