Subject
Arsenales de la marinaEquivalent preferential term (other language) Non-preferred term
Arsenal. (Del ár. hisp.).
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.
Sitio cerrado o cercado y contiguo al mar en algún puerto, don de se construyen, reparan y conservan los bajeles de guerra, sus pertrechos y armamentos. La marina de guerra española tenía -en 1885-arsenales en El Ferrol, Cádiz, Cartagena, La Habana, Cavite y Puerto Rico.
Diccionario de la Lengua Española. Real Academia Española
Autoridades de la Biblioteca de la Universidad de Salamanca.
Autoridades del Consejo Superior de Investigaciones Científicas.
LORENZO, José de et al: Diccionario marítimo Español. Madrid, T. Fortanet, 1865. Arsenal. p. 53.