Arsenal (military) [r]: A facility where weapons and other military equipment is designed, manufactured, stored, or repaired at all levels of intensity; differentiate from armory, a facility only for storage and light maintenance; also a generic term for a type of armament held by a country, such as nuclear arsenal [e]