English noun: October 12 | |||
| 1. | October 12 (time) a legal holiday commemorating the discovery of America by Christopher Columbus | ||
| Synonyms | Columbus Day, Discovery Day | ||
| Broader (hypernym) | legal holiday, national holiday, public holiday | ||
| Part meronym | Oct, October | ||