the time that is spent working in the navy, army, air force, or other military branches, particularly the period that is compulsory in some countries