follow Dictionary.com

What is the X in X-mas?

hol-

1.
variant of holo- before a vowel:
holiatry.

hols

[holz] /hɒlz/
plural noun
1.
Sometimes, hol. British Informal. holiday (def 5).
Origin
by shortening
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
British Dictionary definitions for hol

hol-

combining form
1.
a variant of holo-

hols

/hɒlz/
plural noun
1.
(Brit, school slang) holidays
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
Cite This Source
hol in Medicine

hol- pref.
Variant of holo-.

The American Heritage® Stedman's Medical Dictionary
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.
Cite This Source
hol in Technology

Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and HOL-90.
(ftp://ted.cs.uidaho.edu/pub/hol). Mailing list: info-hol@ted.cs.uidaho.edu.
["HOL: A Machine Oriented Formulation of Higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)].
["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897].
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Related Abbreviations for hol

hol

holiday
The American Heritage® Abbreviations Dictionary, Third Edition
Copyright © 2005 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.
Cite This Source

Word of the Day

Difficulty index for hol-

Few English speakers likely know this word

Word Value for hol

0
0
Scrabble Words With Friends

Nearby words for hol