HOL
Appearance
(Redirected from HOL (disambiguation))
Hol or HOL may refer to:
People
[edit]- Hol (surname)
- K'inich Popol Hol, 5th-century Mayan king
Places
[edit]- Hol Municipality, a municipality in Buskerud county, Norway
- Hol Municipality (Nordland), a former municipality in Nordland county, Norway
- Hol, Tjeldsund, a village in Tjeldsund Municipality in Troms county, Norway
- Hol, Ludhiana, a village in Ludhiana district in Punjab, India
Churches
[edit]- Old Hol Church, a church in Hol Municipality in Buskerud county, Norway
- Hol Church (Buskerud), a church in Hol Municipality in Buskerud county, Norway
- Hol Church (Nordland), a church in Vestvågøy Municipality in Nordland county, Norway
Stations
[edit]- Hollywood station (Florida) (station code:
HOL
), USA - Holmesglen railway station (station code:
HOL
), Malvern East, Melbourne, Victoria, Australia - Holsworthy railway station, Sydney (station code:
HOL
), NSW, Australia - Holton Heath railway station (station code:
HOL
), England, UK
Science and technology
[edit]- HOL (proof assistant), theorem proving systems
- Head-of-line blocking in computer networking
- Higher-order logic, a branch of symbolic logic
- Holonomy group in differential geometry
Sports and games
[edit]- Hol (role-playing game)
- Hol IL, a sports club in Buskerud county, Norway
- Hollingworth Lake Rowing Club (prefix code:
HOL
) - Holdsworth (cycling team) (UCI code
HOL
) - HOL, pre-1992 code for Netherlands at the Olympics
Other uses
[edit]- Hands On Learning Australia, a charity
- Hellas On-Line, a Greek Internet service provider
- Holiday Airlines (US airline) (ICAO airline code
HOL
) - Holu language (ISO 639 code
hol
) - Hol, the word for "language" in Klingon
- Netherlands, ITU code
See also
[edit]Search for "hol" on Wikipedia.