"militærleder" er et 12-bokstavers substantiv som brukes som synonym for "hjemmefrontleder". hjemmefrontleder betyr: Leder med militær tilknytning i en motstandsgruppe.