"17. mai" er et 7-bokstavers substantiv som brukes som synonym for "nasjonaldagene". nasjonaldagene betyr: Norges nasjonaldag, feiret 17. mai hvert år.