ГДЕ
(Перенаправлено с Хол (значения) )
Хол или HOL могут относиться к:
Люди
[ редактировать ]- Хол (фамилия)
- Кинич Пополь Хол , король майя V века.
Места
[ редактировать ]- Хол — муниципалитет в губернии Бускеруд, Норвегия.
- Муниципалитет Хол (Нордланд) — бывший муниципалитет в графстве Нурланд, Норвегия.
- Хол (Тьельдсунд) — деревня в муниципалитете Тьельдсунд в губернии Тромс, Норвегия.
- Хол (Лудхиана) — деревня в округе Лудхиана в Пенджабе, Индия.
Церкви
[ редактировать ]- Старая церковь Хол , церковь в муниципалитете Хол в графстве Бускеруд, Норвегия.
- Церковь Хол (Бускеруд) — церковь в муниципалитете Хол в графстве Бускеруд, Норвегия.
- Церковь Хол (Нордланд) — церковь в муниципалитете Вествогёй в графстве Нурдланд, Норвегия.
Станции
[ редактировать ]- Станция Голливуд (Флорида) (код станции:
HOL
), США - Железнодорожная станция Холмсглен (код станции:
HOL
), Малверн Ист, Мельбурн, Виктория, Австралия - Железнодорожный вокзал Холсуорси, Сидней (код станции:
HOL
), Новый Южный Уэльс, Австралия - Железнодорожная станция Холтон-Хит (код станции:
HOL
), Англия, Великобритания
Наука и технологии
[ редактировать ]- HOL (помощник по доказательству) , системы доказательства теорем
- Блокировка начала линии в компьютерных сетях
- Логика высшего порядка — раздел символической логики.
- Группа голономии в дифференциальной геометрии
Спорт и игры
[ редактировать ]- Хол (ролевая игра)
- Hol IL — спортивный клуб в графстве Бускеруд, Норвегия.
- Гребной клуб Холлингворт-Лейк (код префикса:
HOL
) - Холдсворт (велосипедная команда) (код UCI)
HOL
) - до 1992 года. HOL, код участия Нидерландов на Олимпийских играх
Другое использование
[ редактировать ]- Hands On Learning Australia , благотворительная организация
- Hellas On-Line — греческий интернет-провайдер.
- Holiday Airlines (американская авиакомпания) (код авиакомпании ИКАО)
HOL
) - Язык холу (код ISO 639)
hol
) - tlhIngan Hol — вымышленный клингонский язык.
- Нидерланды , код ITU
См. также
[ редактировать ]
Найдите слово «хол» в Википедии.