Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
ISO 639 — набор стандартов Международной организации по стандартизации, связанный со стандартизацией названий языков и языковых групп.
ISO 4217 — стандарт Международной организации по стандартизации (ISO), устанавливающий трёхбуквенные алфавитные и трёхзначные цифровые коды валют. Основная область их применения — документы и сообщения, относящиеся к международным сделкам, а также любая коммерческая или банковская деятельность, где целесообразно выражать название валюты в закодированной или сокращённой форме и при этом чётко её идентифицировать, поскольку разные валюты могут иметь одинаковые названия.
ISO 3166 — международный стандарт ISO, определяющий кодовые обозначения государств и зависимых территорий, а также основных административных образований внутри государств. Состоит из следующих частей:
- ISO 3166-1 — коды государств и зависимых территорий
- ISO 3166-1 alpha-2 — двубуквенные
- ISO 3166-1 alpha-3 — трёхбуквенные
- ISO 3166-1 numeric — цифровые
- ISO 3166-2 — коды административных образований внутри государств
- ISO 3166-3 — коды уже несуществующих государств.
Конте́йнер — многозначное слово:
Коды или аббревиатуры Se (SE) могут обозначать:
- Селен
- Швеция — Alpha-2 код страны по ISO 3166-1
- .se — национальный домен верхнего уровня для Швеции
- se — код северносаамского языка по ISO 639-1
- Societas Europaea
- Sony Ericsson
TL имеет следующие значения:
- Восточный Тимор
- Тагальский язык
- Tl это символ Таллия в периодической системе элементов
ISO 3166-2:NO — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Норвегии. Стандарт охватывает 19 фюльке Норвегии и острова Шпицберген, Ян-Майен. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Норвегии — NO и дополнительного кода, записанных через дефис. Дополнительный код образован двухсимвольным числом. Геокоды фюльке Норвегии являются подмножеством кодов домена верхнего уровня — NO, присвоенного Норвегии в соответствии со стандартами ISO 3166-1.
ISO 3166-2:RU стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к России. Стандарт охватывает 46 областей, 21 республику, 9 краёв, 4 автономных округа, 2 города и 1 автономную область России. Геокоды областей, республик, краёв, округов и городов России состоят из двух частей: кода Alpha2 по стандарту ISO 3166-1 для России — RU и дополнительного кода, записанных через дефис. Дополнительный двух-трёхбуквенный код образован созвучно названию областей, республик, краёв, округов и городов. Геокоды областей, республик, краёв, округов и городов России являются подмножеством кодов домена верхнего уровня — RU, присвоенного России в соответствии со стандартами ISO 3166-1.
ISO 3166-2:BY — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Белоруссии. Стандарт охватывает 6 областей и город Минск Белоруссии. Каждый код состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Белоруссии — BY и дополнительного кода, записанных через дефис. Дополнительный двухбуквенный код образован созвучно названию области, города. Геокоды областей и города Белоруссии являются подмножеством кодов домена верхнего уровня — BY, присвоенного Белоруссии в соответствии со стандартами ISO 3166-1.
ES, E.S., Es или es может относиться к:
- Эйнштейний, символ «Es» — искусственный химический элемент.
- Эксасекунда — единица измерения времени в Международной системе единиц (СИ).
- Эксасименс — единица измерения электрической проводимости в системе СИ.
- Экспертная система в контексте искусственного интеллекта.
- Двухбуквенный код стандарта ISO 3166-1 для Испании:
- es — код ISO 639-1 для испанского языка;
- .es — национальный интернет-домен верхнего уровня для Испании.
- Двухбуквенный код стандарта ISO 3166-2 для штата Эспириту-Санту в Бразилии: BR-ES.
- ЕС ЭВМ — советская серия IBM-совместимых компьютеров.
- Ensemble Studios — американская компания, разработчик компьютерных игр.
- Lexus ES — серия автомобилей.
- Eurostar — европейская железнодорожная сеть.
- Emirates Stadium — стадион футбольного клуба Арсенал в Лондоне.
- Endless Space — компьютерная глобальная пошаговая стратегия.
- Es — операционная система, разработанная Nintendo и Google.
- ECMAScript — язык программирования.
- ES.EXpo — ежегодная торгово-просветительская выставка компаний эротической индустрии.
- ES — тип электропоездов, грузинская модернизация ЭР2
ISO 3166-2:UA — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Украине.
ISO 3166-2:FI — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Финляндии. Стандарт охватывает 19 областей Финляндии. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Финляндии - FI и дополнительного кода, записанных через дефис. Дополнительный код образован двухсимвольным числом. Геокоды областей Финляндии являются подмножеством кодов домена верхнего уровня — FI, присвоенного Финляндии в соответствии со стандартами ISO 3166-1.
ISO 3166-2:EE — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Эстонии. Стандарт охватывает 15 уездов Эстонии. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Эстонии — EE и дополнительного кода, записанных через дефис. Дополнительный код образован двухсимвольным числом. Геокоды уездов Эстонии являются подмножеством кодов домена верхнего уровня — EE, присвоенного Эстонии в соответствии со стандартами ISO 3166-1.
ISO 3166-2:KZ — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Казахстану. Стандарт охватывает 2 города и 14 областей Казахстана. Каждый геокод состоит из двух частей: кода ISO 3166-1 для Казахстана — KZ и дополнительного кода записанных через дефис. Дополнительный трёхбуквенный код в образован созвучно названию области, города. Геокод областей и городов Казахстана являются подмножеством кода домена верхнего уровня — KZ, присвоенного Казахстану в соответствии со стандартами ISO 3166-1.
ISO 3166-2:LV — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Латвии. Стандарт охватывает 9 городов республиканского значения и 110 краёв Латвии. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Латвии — LV и дополнительного кода, записанных через дефис. Дополнительные: код города образован трёхбуквенным кодом созвучно названию города, код края образован трёхсимвольным числом. Геокоды городов и краёв Латвии являются подмножеством кодов домена верхнего уровня — LV, присвоенного Латвии в соответствии со стандартами ISO 3166-1.
ISO 3166-2:SE — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Швеции. Стандарт охватывает 21 лен. Каждый код состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Королевства Швеции — SE и одно-двухбуквенного кода, прописанных через дефис. Одно-двухбуквенный код образован из букв латинского алфавита. Перспективный геокод состоит из кода Alpha2 по стандарту ISO 3166-1 для Швеции — SE и двухсимвольного числа, прописанных через дефис. Геокоды ленов Швеции являются подмножеством кодов домена верхнего уровня — SE, присвоенного Швеции в соответствии со стандартами ISO 3166-1.
ISO 3166-2:US — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Соединённым Штатам Америки. Стандарт охватывает 50 штатов, 1 федеральный округ и 6 внешних территорий. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для США — US и дополнительного кода, записанных через дефис. Дополнительный двухбуквенный код образован созвучно: названию, аббревиатуре названия штата, округа, внешних территорий. Геокоды штатов, округа, внешних территорий Соединённых Штатов Америки являются подмножеством кодов домена верхнего уровня — US, присвоенного США в соответствии со стандартами ISO 3166-1.
ISO 3166-2:LT — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Литве. Стандарт охватывает 10 уездов Литвы. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1 для Литвы — LT и дополнительного кода, записанных через дефис. Дополнительный код образован созвучно названию уезда. Геокоды уездов Литвы являются подмножеством кодов домена верхнего уровня — LT, присвоенного Литве в соответствии со стандартами ISO 3166-1.
ISO 3166-2:MN — стандарт Международной организации по стандартизации, который определяет геокоды. Является подмножеством стандарта ISO 3166-2, относящимся к Монголии. Стандарт охватывает 21 аймак и 1 город Улан-Батор Монголии. Каждый геокод состоит из двух частей: кода Alpha2 по стандарту ISO 3166-1, для Монголии — MN и дополнительного кода, записанных через дефис. Дополнительный код аймака образован трёхсимвольным числом, код города образован односимвольным числом. Геокоды аймаков и города являются подмножеством кодов домена верхнего уровня — MN, присвоенного Монголии в соответствии со стандартами ISO 3166-1.
