WordNet (r) 3.0 (2006):October 12 n 1: a legal holiday commemorating the discovery of America by Christopher Columbus [syn: Columbus Day, Discovery Day, October 12]