"militærledere" er et 13-bokstavers substantiv som brukes som synonym for "offiserskollegene". offiserskollegene betyr: Personer som leder militære enheter