"militærkommando" er et 15-bokstavers substantiv som brukes som synonym for "Gardeleiren". Gardeleiren betyr: Sted hvor militær kommando utøves.