hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
繪兒樂
繪兒樂（Crayola LLC），前身是Binney & Smith，是一家美国藝術筆制造公司，其产品遍佈全球80多个国家。該公司最著名的產品是它們生產的蠟筆。公司总部位于美國宾夕法尼亚州北安普顿县福克斯镇。公司成立於1885年。自1984年以来，該公司一直是霍尔马克卡片的全资子公司。

繪兒樂最初是一家工业颜料供应公司，但很快就将生產重点转移到家庭和学校使用的艺术筆上，首先是用白堊岩做的粉笔，然后是蠟筆，随后是彩色铅笔、麥克筆、涂料、泥膠和其他相关产品。繪兒樂不少產品屬於儿童用品。大多数繪兒樂蜡笔是在美国生产。

繪兒樂还生产Silly Putty和一系列Portfolio品牌的专业艺术類用品，例如丙烯颜料、水彩和画笔。

霍尔马克卡片
贺曼卡片（英語：）是一家私有的美國公司，總部位于密蘇裏州堪薩斯城麥吉街2501。公司于1910年由Joyce Hall創建，它是美國最大的賀卡制造商。1985年，贺曼卡片被授予美國國家藝術獎章。

1906年，Joyce Hall在美國内布拉斯加州诺福克自己的店裏擔任推銷員。在1903年明信片熱潮推動下，Joyce Hall決定從事明信片批發，他搬到更大的市場堪薩斯城。

贺曼卡片總裁兼首席執行官爲小唐納德·霍爾，北美業務部總裁爲戴維·E·霍爾，2014收入爲38億美元，共有16000名員工。
沃爾茨湖
沃爾茨湖（愛沙尼亞語：）是愛沙尼亞的湖泊，位於該國南部，海拔高度33.7米，面積270平方公里，是全國第二大湖泊，也是完全位于爱沙尼亚境内的最大的湖泊。該湖泊的集水區面積3,100平方公里，湖岸線長度96公里，平均水深2.7米，最大水深6米，湖水經埃馬河注入佩普西湖。

佩普西湖
佩普西湖（愛沙尼亞語：），俄罗斯称之为楚德湖（俄語：），是北歐的湖泊，位於俄羅斯和愛沙尼亞邊境，長72公里、寬50公里，面積2,611平方公里，最大水深12.9米，海拔高度30米，該地區每年平均降雨量575毫米。
大过滤器理论
大过滤器理论是解释费米悖论的一种假说。大过滤器理论假设，在生命的发展过程中，即从生命起源的早期阶段到卡尔达肖夫指数的最高等级（即Ⅲ级，可利用所在星系全部资源）的过程中，存在着一些特殊的发展障碍（被称作“过滤器”）。因此，人类可探测到的地外生命极其罕见。

大过滤器这个概念由罗宾·汉森提出：目前在可观测宇宙中找不到任何地外文明，意味着高階智慧生命的出现機率很低。这一发现被概念化为“大过滤器”。大过滤器的作用是将可能出现智慧生命的大量场所，减少到实际观察到的能出现具有先进文明的智慧物种（目前发现的只有一个：人类）的极少场所。大过滤器的位置可能位于我们身后（过去）或前方（未来），可能会成为智慧生命进化的障碍，或意味着自我毁灭的機率很高。这一论点的主要结论是：生命越容易进化到我们的阶段，我们未来的机会可能就越渺茫。

这一理论最初是在一篇经济学家罗宾·汉森撰写的题为“大过滤器——我们快过去了吗？”的在线文章中提出的。此文的最初版本写于1996年8月，1998年9月15日，文章最后一次更新。汉森在讨论费米悖论时创造的公式已经被许多已出版的资料认可。

地外生命
地外生命，指存在于地球以外的生命体。这个概念囊括了简单的细菌到具有高度智慧的“外星人”。研究和测试关于外星生命猜想的学科被称作地外生物学或天体生物学。自从20世纪中叶以来，人类一直使用包括探测地球之外的电波、天文望远镜观测潜在的宜居行星等方法探测外星生命存在的迹象，但迄今为止并没有确切证据表明外星生命的存在。有人認為發現外星人的機率很小，也有很多人认为外星生命几乎必定存在。

西方科学家查尔斯·林尼惠弗（Charles Lineweaver）等人提出了“银河系适宜居住带”。根据他们计算，这条“生命带”距离银河系中心大约2.3万-3万光年，大致相当于银河系半径的7%，其中含有的50亿颗可能诞生生命的恒星只占银河系恒星总数的不到5%。

許多作品引起了公眾對地外生命可能性的興趣。有人鼓勵採用激進的方法接觸外星智慧生命，聲稱銀河系內或有智慧生命並達到可交流的程度，認為智慧生命仍按黑暗森林法則行事的想法是可笑的。

根據美國國家安全局的一份解密文件的研究指出，銀河系中至少有1億顆的行星可以具備孕育生命的條件，包括有適合的溫度及化學條件。
进化之地2
《进化之地2：连续时空混乱的轻微病例》（英语：）是一款2015年的電子角色扮演遊戲，由法国波尔多游戏公司Shiro Games制作并发行，是2013年游戏《进化之地》的续作。该游戏吸取了许多游戏史上著名游戏的游戏风格。2015年，《进化之地2》在欧洲独立游戏节中获得创新奖。

電子角色扮演遊戲
电子角色扮演游戏（英語：，通常简称角色扮演游戏、RPG，或称为电脑角色扮演游戏、、CRPG）是一种玩家操控虚构世界中主角活动的电子游戏类型。许多角色扮演游戏起源于纸笔桌上角色扮演游戏，如龙与地下城，并使用了相同的术语、设定与机制。在角色扮演游戏中玩家将控制一个角色或是几个冒险队伍成员，进行一个或多个任务。电子角色扮演游戏和笔纸游戏最大的相似之处包括故事的推进与叙事元素、玩家角色的成长、复杂性、重玩性和融入性。电子媒体不再必须要有游戏管理员，同时增加了战斗的解析速度。RPG从简单的文字控制界面游戏逐步发展为了视觉丰富的3D效果。
山东省革命委员会
山东省革命委员会是文化大革命期间中国山东省的最高行政单位。该革命委员会成立于1967年3月，以取代当时的山东省人民委员会和中共山东省委。随着文化大革命的结束，1979年12月山东省第五届人民代表大会第二次会议上，宣布成立山东省人民政府，撤销山东省革命委员会。

党和国家机构
党和国家机构，俗称四套班子或四大班子，是中华人民共和国政治术语，指从中央到地方各级政治机构的领导集体，分别为党委、人大、政府、政协。除奉行一国两制的香港、澳门外，中国内地31个省级行政区均有设置。在中央级，中共中央、全国人大常委会、国务院、全国政协与中央军委并列为国家层面的五套班子。而在地方各级机构中，当地四套班子与纪委监委并称为五套班子或五大班子。2018年，新成立的各省级行政区监察委员会全部组建完成，中华人民共和国国家监察委员会宣告成立，与纪委合署办公；而在地方级，若加上军事部门，则称六套班子或六大班子。
八旗选秀
八旗选秀，是清朝政府为清朝皇帝选择嬪妃的一种制度。由户部主持，理論上为三年一选，在八旗女子中挑选皇帝的妃嬪及其他皇族宗室的妻妾。因此，清朝皇帝的妃嫔主要来自八旗选秀。

雖然理論上外八旗所有旗人都能參加外八旗選秀，但隨著旗人的數量愈來愈多，旗人內的階級亦越來越複雜，外八旗秀女參選於乾隆年間開始有了些門檻。不過選秀另有一些禁例，如皇帝乳母之女、有殘疾的女子等不許參選；特定家族的人士也不參加選秀，例如覺爾察氏達海的女性後代。

清初的外八旗選秀是在臘月中下旬舉行，至雍正初年依然遵循此例，雍正十一年臘月原定要舉行外八族選秀，惟雍正帝下旨改明年開春舉行。自此，在春季舉行外八旗選秀成為慣例。第一次在春季舉行的外八期選秀中，世宗指定了泰州知州武柱國之女武氏為寧妃，崔奇哲之女被指婚為和親王側福晉，佐領訥爾布之女輝發那拉氏被指婚為寶親王側福晉。

若被指定為內廷主位，宮廷會下達類似「指定嬪貴人至家內應派護衞人員」的旨意。新封的嫔妃进宫前一天，内务府会先派人去其本家将嬪妃本人的私人物品抬送到宫中，有些物品則由内务府為嬪妃置辦於其寢宫中。在清朝後期，嬪妃的妝奩由宮中提供或賞予銀兩置辦尋常衣服，不允許由嬪妃的娘家置辦，為的是削弱嬪妃與娘家的聯繫。

八旗
八旗（满语：，穆麟德轉寫：jakūn gūsa）是清朝特有的集军事、生产和行政管理于一体的社会组织，旗下之人称作“旗人”或“八旗子弟”。八旗的雏形来自于满洲人前身明代女真人的射猎小队“牛录”。努尔哈赤改善了这一制度，于1615年正式创立八旗，分为镶黄、正黄、正白、正红、镶白、镶红、正蓝、镶蓝八个旗色，随后数十年的征战和发展过程中，又逐渐吸收了蒙古、汉人等族群而增设蒙古八旗和汉军八旗，形成了一个以满洲为核心、蒙古、汉军为主体的多族群联合的社会集团。

八旗对清兵入關和此后维持政局的稳定起到了至关重要的作用，出征平叛，无役不与，因此被清朝统治者视为“国家根本所繫”。清廷在施政方面采取旗民分治的政策，在汉地的统治基本上沿用明制，而八旗卻在行政隶属上则独立于这一体系之外，保持在滿洲形成自身特有的傳統體系，因此又被称为“国中之国”。八旗子弟“生则入档，壮则当兵”，故以披甲从军为主要职业，此外还可选择出仕，他们在教育、科考、任职、律法等政治、经济领域均享有一定特权，八旗成員從而控制國家的各個層面。自清中后期，由于八旗人丁的滋生而兵额有限，闲散旗人增多，从而导致了八旗生计问题突显。相对安逸的生活也造成了八旗兵丁逐渐疏于操练，给了湘军等汉人地方武装的崛起的机遇；另一方面，西方列强用新式武器打开了中国的大门，统治者尝试对八旗进行改制以适应时局，但都收效甚微，无法阻止清朝和八旗走向衰败。

民国初年，八旗衙门因《清室优待条件》获得保留部分职能。1938年，随着最后一支八旗组织新疆锡伯旗营被改编为县治，八旗正式成为历史。
斯巴達站
斯巴達站（俄語：，羅馬化：Spartak）是莫斯科地鐵的一個車站。斯巴達站是塔甘卡－紅普列斯尼亞線的車站。這一路段的地鐵開通於1975年并预留站点设施，但由于城市规划原因，延迟到2012年为了辅助规划新建的斯巴達克體育場而继续建设剩余的站点出入口，2014年8月27日正式開通运营。

本站於規劃期間定名为“机场平原”，动工建设后曾一度稱「沃洛科拉姆斯克」（俄語：），與本站建成5年前率先投入服務的3號線同名車站撞名，本站啟用前確定站名改以莫斯科斯巴達克足球俱樂部於本站附近新建的主場命名。這是莫斯科地鐵繼2號線的迪納摩站後第二個以足球會命名的車站，後來者有14號線的火車頭站和11號線的中央陸軍運動俱樂部站。

沃洛科拉姆斯克站
沃洛科拉姆斯克站（俄語：，羅馬化：Volokolamskaya）是俄羅斯莫斯科地鐵的一個車站，位於莫斯科西北部的米金諾區。沃洛科拉姆斯克站是阿爾巴特－波克羅夫卡線的車站，其鄰近兩站是米金諾站和米亞金寧諾站。車站開通於2009年12月26日。
伊塔庫亞
伊塔庫亞（英語：），又稱「風行者（The Wind-Walker）」或「溫迪哥」（Wendigo），是奥古斯特·威廉·德雷斯所創造，克苏鲁神话中的一个存在，最早出现在其短篇小说《伊塔庫亞》中，其父母有可能是莎布·尼古拉絲和哈斯塔。此角色的靈感源自阿爾傑農·布萊克伍德（Algernon Blackwood）小說中的雪怪「溫迪戈」（Wendigo），也有可能受到雪人的傳說所影響。

在奧古斯特·威廉·德雷斯為克蘇魯神話構建的體系中，伊塔庫亞是舊日支配者之一，象徵「風」的存在之一，他的形象為一個黑暗的人形或獸形輪廓，全身只露出一雙鮮紅色的眼睛。他掌管冰雪和寒冷的力量，且能在天空中行走。
雖然伊塔庫亞會賜予崇拜者抵抗嚴寒的能力，但崇拜他的人類不多，主要集中在西伯利亞和阿拉斯加等北方地區，而這些地區的人們之所以敬畏他，通常也只是出於對他的恐懼。名為諾弗刻的種族曾經是他的崇拜者。伊塔庫亞的眷屬包括擁有蝙蝠翅膀，看起來和鳥類相似的特殊種族夏塔克鳥（Shantak）。

莎布-尼古拉丝
莎布-尼古拉丝（英語：），美国小说家霍华德·菲利普·洛夫克拉夫特所创造的克苏鲁神话中的一名邪神，最早出现在洛夫克拉夫特写于1927年的小说《最后测试》(The Last Test)中。它的名字频繁地在许多作品中的咒语里被提起，但它从未被洛夫克拉夫特本人真正地描述过，直到后来的作家才对它进行了描述。
暗影帝国
《暗影帝国》（英语：）是2020年策略游戏，由VR Designs开发，Slitherine Software发行，对应Microsoft Windows平台。游戏由Victor Reijkersz独自耗时四五年制作。

据Metacritic统计，《暗影帝国》获得积极评价。

战略游戏
战略游戏，也叫策略游戏，是一种广泛存在于图板游戏、电视游戏和电脑游戏的游戏形式。它要求游戏的参与者“拥有”做出决策的能力。在战略游戏中，决策对游戏的结果产生至关重要的影响。战略通常是与运气相对，然而，很多游戏既包含战略成分又包含运气成分，这给战略游戏的划分带来一定的困难。因此，我们可以用游戏的战略成分来描述这个游戏，比如三國志。
新街下坡胡同
39°54′16″N 116°39′20″E﻿ / ﻿39.90438°N 116.6556738°E﻿ / 39.90438; 116.6556738

新街下坡胡同是北京市通州区连接中山大街和四員廳街的一条胡同，与车站路平行。这条路在通州旧城西门外，乾隆三十年（1765年）旧城西墙拆除，与新城合并。形成新街道后，此处曾称新街口，1913年前后，由于街道北高南低更名新街下坡。此胡同和中山大街的夹角是东方小学。1990年代以前，有一家铜材厂，街上堆置着铜材。

2019年，区政府按照《通州区背街小巷环境整治提升和深化文明创建三年（2017—2019年）行动方案》的要求，对新街下坡胡同进行了整治，新铺设了路面，划了正式停车位，改为单向行驶；周边填设了花池、座椅，对墙面进行了仿古装修；在胡同北段，修筑了100多米长文化墙，绘有浮雕《潞河督运图》，有64艘船只和820个人物，展示了京杭大运河的运河文化和中仓的仓储文化。

车站路 (北京市通州区)
39°54′09″N 116°39′24″E﻿ / ﻿39.902426°N 116.6566576°E﻿ / 39.902426; 116.6566576

车站路，是北京市通州区的一条道路，南起京哈铁路中仓站，北至新华东街，与西海子西街连接。此处原本是通州旧城、新城的结合处，曾有旧城城墙、小烧酒胡同。

1983年2月开建设西顺城街到通州站的部分。1986年3月到11月拆迁了小烧酒胡同西侧的平房建设北段，全线通车。由于是在通州旧城西城墙的位置，曾称为故城西路，与故城东路对应。

沿线有通州电视台、北京市通州区住房城乡建设委、北京市通州区中西医结合医院、通州新华书店。
体积
體積（英語：）是指物件佔有多少空間的量。體積的國際單位制是立方米。一件固體物件的體積是一個數值用以形容該物件在空間所佔有的空間。一維空間物件（如線）及二維空間物件（如正方形或三角形）在三維空間中均為零體積。

量 (物理)
量（quantity，amount）是作为幅度和重复次数出现的一种属性；某量的大小，通常可用一个数乘以一个参照对象来一起表示，称为量值（magnitude，quantity value），参照对象可以是：测量单位、测量程序、标准物质、约定参考标尺。

物理的“量”和品质、实质、变化、关系一样是事物的一种基本类别。数量的概念始于份额，也就是可以带有数量的实体。作为一个基本的詞彙，数量被用于指代事物的任何量化的属性或特征。有些量由其本质决定（譬如，数），而另外一些是作為對状态的描述（属性，尺寸，特征），譬如重和轻，长和短，宽和窄，大和小，多和少。

量的两个基本分类，幅度和重次（或者数字），蘊涵了连续和离散的重大区别。

属于重次的量是离散的，可以分解成不可再分的单位，譬如集合名詞：军队，舰队，羊群，政府，公司，聚会，人群，合唱团，数。属于幅度的是连续的，可以一直分解下去，包括所有非集合名词：宇宙，物质，能量，液体，材料。

和对其本质和分类的分析一起，量的问题涉及很多密切相关的课题，譬如幅度和重次的关系，量纲，等式，比例，测量，测量单位，数和數系，数的类型和它们的关系。

这样，量是存在于幅度和重次的范围内的一种属性。质量、时间、距离、热和角度都是量化属性的常见例子。连续量的两个幅度，可以互相用一个比例表达，而它是一个实数。
連四紙
連四紙，又名连泗纸、连史纸，纸质较厚者又称为海月纸，中國紙名，始创于中唐，宋元时已颇具名声，製造地為中國江西省鉛山縣，為中國國家級非物質文化遺產。

旧时贵重书籍、碑帖、契文、书画、扇面等多用之。书画家、鉴藏家欣赏它独特的品质韵味，许多字画、印谱、拓本依托它得以传世，如《十七史》、商务印书馆出版的《四库全书珍本初集》等即用此纸印制的。

1994年，鉛山縣漿源村連四紙停產，這項造紙術面臨失傳危機。2006年，連四紙被列入國家級非物質文化遺產，才起死回生。連四紙也成為西泠印社和中國國家圖書館印刷古籍的專門供應商。

中国纸
中国纸是以中國傳統工藝製成的紙，种类繁多，各朝代有不同的纸张品种。

汉代：麻紙、蔡侯紙、子邑纸

唐代：硬黄纸、薛涛箋、宣紙

宋代：余杭山由拳村藤纸、富阳小井纸、赤亭山赤亭纸；澄心纸、匹纸（长三至五丈）、藤白纸、鹄白纸、蚕茧纸、黄白经笺、碧云青树笺、龙凤笺、团花笺、金花笺、观音帘纸、蚕茧纸、竹纸、大笺纸、彩色粉笺

元代：绍兴彩色粉笺、蜡笺、黄笺花笺、罗纹笺、江西观音纸、清江纸

明代：连七纸、观音纸、榜纸、大内细密洒金五色粉笺、印金花五色笺、瓷青纸、吴中洒金纸、松江谭笺、泾县连四纸

清代：连四纸、倭子纸、毛边倭子纸、纸本色毛边纸，各色毛边纸、香色兰边连四纸、连四抄纸、方白挛纸、锦纸、蜡花纸、呈文纸、山西纸、西青纸、青纸、裱料纸、白榜纸、红黄色榜纸、方高纸、官青纸、宫笺纸、粉笺纸、桑皮纸、翠白榜纸、衢红纸、朱沙笺纸、小青纸、台连纸。

近現代：玉扣紙
博日山脈
博日山脈（法語：，法語發音：[masif de boʒ]）是法國的山脈，位於該國東部奥弗涅-罗讷-阿尔卑斯大区，是法國前阿爾卑斯山脈的一部分，最高點海拔高度2,217米，山體由沉積岩組成。

45°38′N 6°10′E﻿ / ﻿45.633°N 6.167°E﻿ / 45.633; 6.167

法國前阿爾卑斯山脈
法國前阿爾卑斯山脈（法語：，法語發音：[pʁealp fʁɑ̃sɛz]）是法國的山脈，是西阿爾卑斯山脈的一部分，橫跨奥弗涅-罗讷-阿尔卑斯大区和普罗旺斯-阿尔卑斯-蔚蓝海岸大区，最高點海拔高度3,257米，山體由沉積岩組成。
逃离猩球
《逃离猩球》（英語：）是一部1971年出品的美国科幻电影，由唐·泰勒执导，罗迪·麦克道尔、金·亨特、布拉福德·迪尔曼等主演。该片为1968年到1973年出品的由亚瑟·P·雅各布斯任制作人的五部“人猿星球”系列电影中的第三部。

续集《征服猩球》已于1972年上映。

人猿星球
《人猿星球》（英語：）是一系列的美国跨媒体制作，至今已经包含9部电影、2部电视剧及相关的漫画及游戏。这一系列开始于1968年的科幻电影《人猿星球》，该电影改编自法国作家彼埃尔·布勒的科幻小说《人猿星球》（法語：）。
亚基马陨击坑
亚基马陨击坑（Yakima）是火星阿西达里亚海区的一座撞击坑，该陨坑西近莫霍克陨击坑，南临更大的班贝格陨击坑，其中心坐标位于北纬43.03度、东经356.85度处，直径12.53公里（7.79英里）。该特征取名自美国华盛顿州雅基马镇，1976年被国际天文联合会行星系统命名工作组批准接受。

班贝格陨击坑
班贝格陨击坑（Bamberg）是位于火星阿西达里亚海区北纬39.71度、东经356.9度的一座撞击坑，它的直径为55.7公里，名称取自德国班贝格镇，1976年被国际天文联合会正式批准接受。来自火星勘测轨道飞行器背景相机和高分辨率成像科学设备拍摄的图像显示，该陨石坑中分布有冲沟，据信火星冲沟是由最近液态水流所形成。

在下面的图片中可以看到冲沟，根据它们的形状、方位、地势和位置等，以及与被认为富含水冰的特征之间明显的互动作用，许多研究人员认为，冲刷出冲沟的过程涉及液态水。然而，这仍是一个有待进一步研究的课题。

冲沟一被发现，研究人员就开始一遍又一遍地拍摄许多冲沟的图像，以寻找可能的变化。到2006年，发现了一些变化。后来，通过进一步的分析，确定这些变化可能是由干燥颗粒流引起的，而非由流水所驱动的。随着观察的不断深入，在加萨陨击坑和其他地方发现了更多的变化。

随着越来越多的重复观察，发现了更多的变化。由于这些变化都发生在冬季和春季，专家们倾向于相信冲沟是由干冰形成的。之前和之后的图像都显示，这一活动时间与季节性二氧化碳霜冻和液态水无法存在的温度相吻合。当干冰霜气化时，它可以润滑干燥物质使其流动，特别是在陡坡上。在某些年份，霜冻可能厚达1米。

火星勘测轨道飞行器背景相机拍摄的班贝格陨击坑图像，方框显示了在下一幅图像中的区域。

HiWish计划下高分辨率成像科学设备显示的班伯格陨坑中的冲沟和大规模土石流，在接下来的两幅图片中冲沟部分将被放大。

HiWish计划下高分辨率成像科学设备显示的部分冲沟特写。

高分辨率成像科学设备显示的同一幅图中的另一条冲沟特写
倫敦盆地
倫敦盆地（London Basin）是以英國倫敦為中心的一個狹長、三角形的沉積盆地，富含伦敦黏土，除去大倫敦外，它還包括了東安格利亞東南部和英格蘭東南英格蘭的部分地區，最東端緊鄰北海。它形成于4000至6000万年前古近紀的阿尔卑斯造山运动時期。倫敦盆地主要由泰晤士河灌溉，但其面積並不完全重疊。 位于盆地中的大倫敦都會區有近1000万居民。

伦敦黏土组
伦敦黏土组（London Clay Formation）位于英格兰东南部，是始新世伊普雷斯期（约5600至4900万年前）的一个组。它以其丰富的化石含量闻，有许多热带或亚热带植物化石，但其中的黏土现在也仍被用来制作瓷砖。

伦敦黏土是一种坚硬的、发蓝的黏土，风化和氧化后会变成棕色。在黏土层中经常发现黄铁矿及其氧化产生石膏、透石膏。
字元集 (數理邏輯)
字元集在不同領域中有不同意義。在邏輯學（特別是數理邏輯中）代表的是列舉出形式語言中非邏輯符號的一組集合；在泛代數中則是列舉出代數結構具代表性的運算。另外，在模型論中兩種用法皆有使用。

對邏輯學更哲學性的討論中，字元集的概念較少被提及。

一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。

高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯的語義中，斷言被解釋為關係。而高階邏輯的語義裡，斷言則會被解釋為集合的集合。

在通常的語義下，一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。

一階邏輯是數學基礎中很重要的一部份。許多常見的公理系統，如一階皮亞諾公理、冯诺伊曼-博内斯-哥德尔集合论和策梅洛-弗蘭克爾集合論都是一階理論。然而一階邏輯不能控制其無窮模型的基數大小，因根據勒文海姆–斯科倫定理和康托爾定理，可以構造出一種“病態”集合論模型，使整個模型可數，但模型內卻會覺得自己有「不可數集」。類似地，可以證明實數系的普通一階理論既有可數模型又有不可數模型。這類的悖論被稱為斯科倫悖論。但一階的直覺主義邏輯裡，勒文海姆–斯科倫定理不可證明，故不會有以上之現象。
天德于思
天德于思（?—?），元朝官员，克烈（怯烈）氏，速哥之孙，忽兰之子。

天德于思聪明过人，忽必烈听说其贤德，令他承袭父爵，奉养母亲完颜氏以孝著称闻。从中山至北方，当时有边地战事，天德于思督造兵甲，安抚百姓，没有休息，劳累憔悴。忽必烈听说后嘉赏他，赐驯豹、名鹰，让他可以纵猎禁地，当时眷顾最号优渥。去世时年三十九岁。赠太傅、仪同三司、上柱国，追封云国公，谥显毅。子孙世代多显贵。

速哥 (克烈)
速哥（?—?），蒙古帝国将领，克烈（怯烈）氏，世传李唐外族之后，怀都之子。

速哥沉勇有谋略。曾奉窝阔台汗之命出使金朝，探听虚实。金人把他阻挡在船上，七日才渡黄河，又三十天抵达汴京。速哥装作不聪明的样子，暗中记下金国地理要塞，城郭人民的强弱。回国复命，将虚实告知窝阔台。窝阔台汗得报，决心出兵灭金。后又参加南下灭金的战争。因功为山西大达鲁花赤。卒年六十二岁。追赠推忠翊运同德功臣、太师、开府仪同三司、上柱国，追封宣宁王，谥忠襄。
八寶宮
21°56′33″N 120°47′56″E﻿ / ﻿21.942591°N 120.798765°E﻿ / 21.942591; 120.798765

八寶宮，是位於臺灣屏東縣恆春鎮墾丁大灣沙灘前的有應公廟偏殿，以祀八寶公主知名。

恆春鎮
22°00′14″N 120°44′50″E﻿ / ﻿22.003858°N 120.747299°E﻿ / 22.003858; 120.747299

恆春鎮，隸屬於臺灣屏東縣，位於恆春半島南端，是臺灣本島最南端的行政區。東北鄰滿州鄉，西北接車城鄉，東臨太平洋（菲律賓海），西臨台灣海峽（南海），南臨巴士海峽（呂宋海峽），境內的鵝鑾鼻燈塔為臺灣本島最南端。

恆春鎮舊稱「瑯嶠」、「琅」，係音譯自排灣語 ，根據牡丹鄉耆老華阿財澄清，Ljungkiaw南排族語意思為合歡樹（恆春原生，確切物種名待確認）；而非蘭花，舊時曾為琅𤩝十八社。在1874年發生牡丹社事件後，沈葆楨奏請清廷在此地築城牆並立縣，是屏東地區最早的縣治，並因此地氣候溫暖四季如春，將其改名為「恆春」。福建籍上書房總師傅蔡新曾受嘉慶賀壽匾題，「綠野恆春」四字，許為追念同鄉耆老。

每年約九月到次年三月，來自西伯利亞的季風順著高聳的中央山脈向南吹，到了恆春半島時由於山脈陡降，季風順著地形加速吹向海洋，形成了風勢強勁的「落山風」。由於陽光充足加上強烈乾熱的落山風，造就了適合栽種的洋蔥盛產。此外恆春在1901年引進了瓊麻，用以製造繩索、麻袋等民生用品，在日治時代的殖民經濟上佔有重要地位，曾博得「東洋之光」的美名，雖然現已沒落，但瓊麻也成了恆春的標誌。
朱令铊中毒事件
朱令铊中毒事件是发生于1994至1995年的一宗投毒悬案。1994年11月底，就读于中國北京市清华大学化学系的1992级学生朱令（1973年11月24日—2023年12月22日）出现铊中毒症状，最后得助于互联网才得到确诊和救治。这是中华人民共和国首次利用互联网进行国际远程医疗的尝试。1995年5月北京警方针对朱令被投毒一事立案调查，但「由於事发兩個月後才報案，直接證據已被滅失，案件繼續偵查難度大」經中央領導批示，北京市公安局於1998年8月25日结案；此案引发媒体与网络的报道和外界的关注与讨论。直到受害者朱令在2023年12月22日逝世，真凶仍未归案。

党和国家领导人
党和国家领导人是前苏联及中华人民共和国等一党制社会主义国家的政治术语。该词用于中国共产党领导人时，是一个指称中共中央和国家机构层面具有特定职务及级别高级领导人的政治术语，分为「国家级正职」（正国级）、「国家级副职」（副国级）。级别从正国级首位的中共中央总书记至副国级末位的全国政协副主席，常见于中国大陆媒体报道、官方公文中。
平衡树
平衡树是计算机科学中的一类数据结构，为改进的二叉查找树。一般的二叉查找树的查询复杂度取决于目标结点到树根的距离（即深度），因此当结点的深度普遍较大时，查询的均摊复杂度会上升。为了实现更高效的查询，产生了平衡树。

在这里，平衡指所有叶子的深度趋于平衡，更广义的是指在树上所有可能查找的均摊复杂度偏低。

2-3树
计算机科学中，2–3树（英語：）是一种树型数据结构，由约翰·霍普克洛夫特于1970年发明。

2–3樹中的内部节点可以有2个子節點和1个数据元素、或有3个子節點和2个数据元素，叶子节点有1至2个数据元素。

2节点

3节点

2–3树和AA树是等距同构的，意味着它们是同一种数据结构。换句话说，对于每个2–3树，都至少存在1種AA树和它的元素排列是相同的。2–3树是平衡树，意味着右边，左边，中间的子树的元素数量都是相同或接近的。
矮波
矮波（runt pulse）也稱為短脈衝，是数字电路中電位介於高準位和低準位之間的脈波，因為信號的上昇時間及下降時間因素，使信號無法到達正確的高準位或是低準位。矮波可能會因為非同步的時脈切換所造成，也有可能是因為競爭危害（信號經由電路的二個不同路徑，兩路徑延遲時間不同，之後再重組成為最終信號）的結果，或是触发器的亞穩定性所產生。

时钟频率
时钟频率（英語：，又譯：速度）是指同步電路中时钟發生器的基础频率，它以“每秒时钟周期”（clock cycles per second）来度量，量度单位採用SI單位赫兹（Hz）。在计算机领域当中，其一般指的是由处理器中的时钟发生器产生的脉冲信号的频率，该信号用于同步计算机中各部件的工作。时钟频率也被用来作为衡量处理器（例如CPU）运行速度的一个指标，称为处理器的主频。在单个时钟内（现代计算机中央处理器内的这个时间一般都短于一纳秒）逻辑零状态与逻辑一状态来回切换。 由于发热和电气规格的限制，里逻辑零状态的持续时间通常要长于逻辑一状态。

第一代计算机当中的时钟频率通常以赫兹（Hz）或千赫兹（kHz）的级别来衡量；在20世纪70年代至80年代间面世的个人计算机（PC）当中，时钟频率可达到百萬赫兹（MHz）级别；而在21世纪的现代CPU当中，时钟频率通常可达十億赫兹（GHz）的级别。在比较同一系列的处理器时，这是一个较为有用的指标。
下沚江之战
下沚江之战，宋高宗建炎四年（1130年）至绍兴元年（1131年），南宋水军进攻洞庭湖杨么义军，在下沚江（今湖南省汉寿县东北）被杨么击败的水战。

1130年春，宋朝俘杀湖南义军首领钟相。杨么、夏诚、周伦等率众数十万，退守龙阳（今湖南省汉寿县），在港汊交错、岛屿险峻的洞庭湖中创建水寨，严密设防，继续与南宋官府抗衡。鼎澧镇抚使兼知鼎州程昌寓率军进剿，在鼎口（今湖南省常德市东，沅水入洞庭湖处）被杨么水寨义军击败。水手木匠高宣献车船（以脚踏木制机轮为动力的大型战船）图样，程昌寓令按图打造。招充水军，召募辰州（今湖南省沅陵县）、沅州（今湖南省芷江侗族自治县）、靖州（今湖南省靖州苗族侗族自治县）等州丁刀弩手，合为一军，专习水战，以报鼎口之耻。

1131年，程昌寓派新造车船及海鳅船队，攻打下沚江的夏诚水寨。夏诚水寨在下沚江口，西南面临陆，其余方向环水，寨内重城重壕，寨外设陷马坑，义军严守以待。下沚江窄狭，江水涨落不定，程昌寓却督军前进，抵达寨前，夏诚大开寨门，官军害怕而不敢攻入。当时是阴雨天气，众兵淹没泥淖多日，等到天晴，人马疲惫不堪。程昌寓想要撤军，下沚江水渐落，沚江口滩浅，车船不能出，义军冲杀，大败宋军。程昌寓仅乘海鳅船逃脱，车船及水手木匠高宣被义军缴获。

之后，各寨义军利用鼎州（今湖南省常德市）、德山、澧州（今湖南省澧县）、钦山、药山、夹山产的松杉樟楠等木材，改制创新十余种车楼大船，以轻便海鳅船配合，在洞庭湖多次击败宋军。

岳飛剿滅楊幺
岳飛剿滅楊幺發生于南宋紹興五年（1135年）四月上旬至六月期間。岳飛前期采取招抚政策，前兩個月釋俘納降数回，很少用兵。六月初岳飞集中兵力，僅用了十多天時間，就剿滅了其他南宋軍隊花了四年時間都無法鎮壓的洞庭湖楊幺割據勢力。
北海岸及觀音山國家風景區
北海岸及觀音山國家風景區（簡稱北觀）是位於台灣新北市與基隆市境內的國家風景區，成立於2002年10月17日，主要是由北海岸區的「北海岸風景區」、「野柳風景區」與觀音山所組成，北海岸區介於萬里區都市計畫和三芝區與淡水區界之間，觀音山區位於淡水河、龍形、五股、林口台地與八里範圍內。其中野柳風景區以特殊地質、地形為其特色。

三芝區
25°15′29″N 121°30′03″E﻿ / ﻿25.258047°N 121.500866°E﻿ / 25.258047; 121.500866

三芝區，舊稱「小雞籠社」，後稱「三芝」，得名自清代行政區名「芝蘭三堡」，前身「三芝鄉」，位於中華民國新北市西北部，北鄰石門區，西北濱台灣海峽，西南連淡水區，東南連金山區及臺北市北投區，是第7、8、9屆中華民國總統李登輝的故鄉。

由於氣候溫暖且雨量豐富，在日治時期即有盛產米、茶、甘藷及各種蔬果等農作物。經濟產業以農業為主，現則主要生產茭白筍、西瓜與箭竹筍等蔬果。每年春季舉辦的賞櫻活動，為三芝區之盛事。
盧恩
在托爾金的小說裡，盧恩（Rhûn）是指中土大陸東部的廣大地區。在精靈語辛達林中，盧恩的意思是指「東方」。托爾金曾說：「在精靈語中，盧恩就是東的意思，亞洲、中國、日本，和西方人覺得遙遠東方的一切。」:181

盧恩位於中土大陸羅馬尼安（Rhovanion）以東，盧恩內海（Sea of Rhûn）附近及以外的地區，第三紀元剛鐸（Gondor）及其盟友面臨的威脅大都來自這裡。

剛鐸
剛鐸（英語：），是英國作家約翰·羅納德·鲁埃尔·托爾金的史詩式奇幻小說《魔戒》中，位於中土大陸南方之登丹人王國。

「剛鐸」之名意思為「岩石之地」Land of Stone，由辛達林語的gond（石Stone）和（n）dor（土地land）結合而成。又有一說，由於剛鐸處於白色山脈附近，所以如此命名。用昆雅語表示的話，則稱安多諾爾Ondonórë。
罗杰·B·托尼
罗杰·布鲁克·托尼（英語：，/ˈtɔːni/，1777年3月17日—1864年10月12日），美国政治家，十五歲時即入賓夕法尼亞州狄金森學院，十八歲以成績優等畢業。曾任美国司法部长（1831年-1833年）、美国财政部长（1833年-1834年）和是最高法院的第五任美国首席大法官，从1836年起，直到1864年去世。

他认为权利和自由是极其重要的，如果权力过于集中，就会对个人自由构成严重威胁。他反对国家政府试图管制或控制限制个人权利的事情，特别是當時个人拥有奴隶的权利，這也成為他任內最大的爭議。在著名的斯科特诉桑福德案中，一个名叫德雷德·斯科特的奴隶向最高法院提出上诉，表示自己曾被主人带到自由领土上，因此希望从而获得自由。他裁定，根据美国宪法，非洲后裔不是美国公民，而且原告(斯科特)没有提起诉讼的法律地位。塔尼還写道，宪法的制定者认为黑人可以被合法地沦为奴隶，为他的利益服务。法院还宣布密苏里妥协案(1820)违反宪法，从而允许在全国所有领土上实行奴隶制。在美国内战的最后几个月，塔尼在他的家乡马里兰州废除奴隶制的同一天去世，儘管他做出了不少出色的裁決，但這個瑕疵至今仍然作為法學的重要負面判例被提起。

托尼是個虔誠的羅馬公教信徒，曾經無償解放所繼承的黑奴，被當世視為慈善家。但震撼美國歷史的史考特訴桑福德案中，作為大法官的托尼卻主張：「即便是自由黑人，也不是《美國憲法》中所謂之美國公民，故史考特並無權在聯邦法院提起訴訟。」這個判決引起軒然大波，且使時人重新思考黑奴的存廢問題，成為了南北戰爭的原因之一。

美國司法部長
美國司法部長（英語：），按英文直譯是美國總檢察長、美國檢察總長、美國總司法長、美國司法總長或美國總法務官，是美国司法部的首長及政務官，被認為是美國政府的首席法律顧問，職責是替美國政府處理法律事務及對美國法务部門進行監督。美國司法部長是美國內閣閣員之一，且職務設立的時間比美國司法部還早，是聯邦政府各部首長中唯一不使用「」作為部長頭銜的閣員，在總統繼任順序中排名第七，是相當重要的內閣職位。其任命方式為美国总统提名，由美国参议院批准產生，而總統有權隨時解除其職務。

美國司法部長職位設立於1789年，當時職責是代表美國聯邦政府向聯邦最高法院提出訴訟、指控和處理有關聯邦政府的法律事務，第二是向總統或政府部門首長就法律問題提供意見或建議。1870年，美國司法部成立以支援其工作。
香港技術標準
香港自十九世紀以來即為英國殖民地，至1997年7月1日主權移交中華人民共和國才結束；因在英國統治下百多年，加上英國本身為工業大國，故香港使用的技術標準絕大部分來自英國，但這情況自1997年主權移交後已有所變更。

香港并无设立负责制定和颁布本地标准的中央标准组织。各规管机关会按需要采用标准，并会避免因制定标准而主导市场的发展，或成为保护若干行业的手段。香港是国际电信联盟的成员，香港特别行政区政府创新科技署代表香港加入国际标准化组织。创新科技署梳理了大部分目前香港实行的技术规例。
根据香港法例第68章 《度量衡條例》，国际单位制（法例称为「十進制單位」）、英制单位、中国制单位均为香港的法定度量衡单位。

香港電視廣播
香港的電視廣播始於1957年，第一間為香港提供電視服務的機構是麗的映聲，為商營電視台，以有線方式傳送畫面。其後首間以地面電視形式進行廣播的無綫電視亦於1967年啟播。

香港的電視牌照一般分為4種，包括「本地免費電視節目服務」、「本地收費電視節目服務」、「非本地電視節目服務」及「其他須領牌電視節目服務」。另外亦有為流動電視服務供應商而設的牌照，但流動電視牌照屬於電訊牌照下提供流動服務的綜合傳送者牌照，而普通的電視牌照則屬於廣播牌照。

現時香港共有4間機構提供本地免費電視節目服務，包括屬於政府部門的香港電台、以及3間商業電視台無綫電視（公司名為「電視廣播有限公司」）、香港電視娛樂和有線寬頻開電視。另外香港亦有一間提供本地收費電視節目服務的持牌機構now寬頻電視。而香港電視網絡（現已停止服務）為網絡傳輸的免費電視台，因此亦不視為電視節目服務。
预先假释
预先假释（英語：），正式名称为I-512表格，俗称回美证、AP，是美国公民及移民服务局签发给已经递交绿卡身份调整（485表格）文件、正在等待绿卡最终批准阶段的外籍人士的一种入境文件。

已经递交485表格的绿卡申请者如果需要离开美国，他既可以使用尚在有效期内的签证返美，也可以在境外美国的使领馆重新申请签证返美，还可以在离开美国之前向美国公民及移民服务局申请预先假释。第三种选择是已提交485表格的申请者的特殊福利，允许他们在获得正式永久居民卡之前提前享有无需签证即可返回美国的便利。

从2011年起，已经提交485表格的申请者可以申请所谓的”组合卡（Combo Card）”的卡片，它将就业授权文档和预先假释的效力集中在同一张卡片上。已经提交485表格、尚未拿到永久居民卡的申请者使用这张卡片在一定程度上能享有和绿卡相似的就业、出入境方面的便利。但是使用者需要在使用这两项便利前，仔细研究使用这些便利时，是否造成自己移民身份、工作许可方面的变化，及这些变化对移民申请造成的影响。

身份调整
身份调整（英語：）是美国移民领域的一个概念，是指移民申请人在美国境内申请将非移民身份转换为美国永久居民的过程。

为了最终获得永久居民身份，申请人必须是获得批准的移民申请的受益人（家庭移民或职业移民），并且移民申请的优先日期已被美国国务院宣布为“当前”（如果申请存在优先日期的话）。身份调整的申请表格（I-485表格）必须和相关材料（例如体检结果、指纹信息等）一起被提交给美国公民及移民服务局。
性交後憂鬱
性交後憂鬱（英語：）是心理學上對於一種性交後感到憂鬱、甚或伴隨強烈的焦慮感覺的一種徵狀。這種問題在男性出現的頻率高於女性，一般在性行為後五分鐘到兩小時內發生。這種問題，有時亦包含男性在手淫後所感覺到的焦慮及內疚感覺。

早在古希臘時代就有關於這種問題的描述，亞里士多德曾說：「在交媾以後，所有動物都會憂鬱。」（）。17世紀的哲學家巴魯赫·斯賓諾莎亦曾在他的著作《致知篇》裡提及這種現象，他說：「當體驗到“性快感”的時候，你的整個心智已經沉浸在這種愉悅中，並且平靜地享受着，根本心無旁鹜。但當“性快感”過後，巨大的悲傷感隨之而來。如果這種悲傷感沒有完全生成，那麽說明，你的心智還沒有從這種愉悅中恢復過來。」

醫學上，有一种說法認為這種感覺可能只是性高潮的快感過後帶來的短暫失落感覺。在性學上，有一種名為不反應期的說法。所謂不反應期，被認為是性器官和性中枢的保护性抑制作用所致。由於性交活动是一个激烈运动，能量消耗很大，在性交活动后，各器官会有一个疲劳恢复期，人体在只能在代谢平衡、能量蓄积、激素补充都达到一定水平后才能恢复性欲，不反应期就是为下次性生活而產生的。而男性在经过一次性高潮达到射精后，必须经过强制性的休息间隔，才会对再次的性刺激重新发生反应，这个对性刺激不再发生性反应的时间间隔称为性的不应期。随着年龄的增加，不应期时间会逐渐加长。澳洲性学家罗丝·金认为，25岁以上的男性，不应期达到20分钟以上。55岁以上的男性，不应期会达到12小时之久，甚至一周。不過這種說法卻難以解釋為何女性亦有相同的感覺。

性高潮
性高潮（英語：）是指在性反应周期過程中所累積的性緊張的遽然釋放，導致骨盆區出現有節奏性的肌肉收缩及表徵於外的性愉悅。男性和女性所體會的性高潮是由自律神經系統所控制，且常伴隨著許多不自主的作為，包括身上多處區域出現肌強直、感到欣快和滿足，及頻次地發出聲息與身體擺動。高潮階段過後（或稱不應期）常帶來的緩和放鬆感，這主要是神經激素催产素与促乳素的釋放所致的，其作用機制類似於安多酚（腦內啡）。

人類性高潮一般是因對男性陰莖和女性陰蒂進行物理上的刺激而產生。當中的性刺激可經由當事人自身（自慰）或性伴侶（插入式性行為、非插入式性行為，及其他性活動）提供。

人类性高潮从健康的效应上有着各式各样的探讨。在性事当中有着许多生理反应，相關例子有促乳素所致的緩和放鬆狀態，以及在中樞神經系統之中的若干變化（像是当边缘系统的代谢活动没有增加变化的时候，大脑皮质的代谢活动在很大部分的區域也会跟着暂时降低）。在種類繁雜的性功能障碍當中，高潮障礙（anorgasmia）是其中之一。这些效应除了影响了关於性高潮在生物學与进化的功能的理论之外，也衝擊到人们文化上看待性高潮的各种观点，比如在性生活满意度上抱持的信念，认为性高潮是重要或不重要，是不是很在意频率次数的多寡、的高低等等。
里斯布恩造酒廠足球會
里斯布恩造酒廠足球會（Lisburn Distillery Football Club）是一家位於北愛爾蘭阿爾斯特省唐郡的足球會，於1880年創立，現時參加北愛爾蘭第三級別聯賽－NIFL超級中等足球聯賽。球會從成立之初就簡稱為造酒廠隊（Distillery），直到1999年才將其正式名稱更改為里斯布恩造酒廠，作為與自治市鎮里斯布恩更緊密地聯繫起來。里斯布恩造酒廠亦是作為1890年北愛爾蘭超級足球聯賽的創始成員之一。

北爱尔兰
北愛爾蘭（愛爾蘭語：；英語：；阿爾斯特蘇格蘭語：Norlin Airlann）是英國的組成部分，位于爱尔兰岛东北部，擁有國家、省、地區這些不同的術語稱呼。北愛爾蘭的西部和南部與愛爾蘭共和國保持著邊境開放。2021年，北愛爾蘭人口數量達到190.3萬，約佔整個愛爾蘭島人口的27%、全英國人口的3%。根據1998年《北爱尔兰法令》成立的北愛爾蘭議會負責一系列權力下放的政策事務，其他方面则由英國政府保留。北愛爾蘭政府與愛爾蘭共和國政府在《贝尔法斯特协议》條款商定的領域當中進行合作。
矮尖瓣芹
矮尖瓣芹（学名：）是伞形科丝瓣芹属尖瓣芹的变种。本变种与原变种的区别在于植株矮小，高5-7厘米，花序梗极短，长0.5-1.5厘米。果期9月。分布于中国大陆的青海等地，生长于海拔4,400米的地区，多生于山间岩石缝隙湿润处，目前尚未由人工引种栽培。

尖瓣芹
尖瓣芹（学名：）是伞形科丝瓣芹属的植物，是中国的特有植物。其下包括原变种和矮尖瓣芹等变种。植株高30-75厘米，根卵圆形，直径3-4毫米。茎细弱具细条纹，基生叶柄长2-5厘米，叶片阔三角形且2回羽状分裂，裂片倒卵状楔形；顶生伞形花序具3-6朵白色小花，花瓣卵形，非丝状，脉1条；果实卵状长圆形，主棱丝状，每棱槽含1油管，合生面2油管。分布于中国大陆的四川、青海、甘肃等地，生长于海拔3,800米至4,400米的地区，常生于谷地灌丛中，目前尚未由人工引种栽培。
N元语法
n元语法（英語：）指文本中连续出现的n个语词。n元语法模型是基于(n-1)阶马尔可夫链的一种概率语言模型，通过n个语词出现的概率来推断语句的结构。这一模型被广泛应用于概率论、通信理论、计算语言学（如基于统计的自然语言处理）、计算生物学（如序列分析）、数据压缩等领域。

当n分别为1、2、3时，又分别称为一元语法（）、二元语法（）与三元语法（）。

語言模型
語言模型是一個自然語言中的詞語機率分佈模型，例如提供一个长度为  的字詞序列 ，計算這些字詞的概率：。通過语言模型，可以确定哪个词语出现的可能性更大，或者通過若干上文语境词来预测下一个最可能出现的词语。

語言模型經常使用在許多自然語言處理方面的應用，如語音識別，機器翻譯，詞性標註，句法分析，手写体识别和資訊檢索。由於字詞與句子都是任意組合的長度，因此在訓練過的語言模型中會出現未曾出現的字串(資料稀疏的問題)，也使得在語料庫中估算字串的機率變得很困難，這也是要使用近似的平滑n-元語法(N-gram)模型之原因。

在語音辨識和在資料壓縮的領域中，這種模式試圖捕捉語言的特性，並預測在語音串列中的下一個字。

在语音识别中，声音与单词序列相匹配。当来自语言模型的证据与发音模型和声学模型相结合时，歧义更容易解决。

當用於資訊檢索，語言模型是與文件有關的集合。以查詢字「Q」作為輸入，依據機率將文件作排序，而該機率代表該文件的語言模型所產生的語句之機率。
石林南站
石林南站位于云南省昆明市石林彝族自治县鹿阜街道锁卜所村，是南昆铁路上的车站，建于1997年，邮政编码652200，距石林县城约15公里。

石林南站目前为四等站，隶属中国铁路昆明局集团昆明车务段管辖，西距昆明站106公里，东距威舍站202公里，南宁站717公里。该站不办理客运业务；货运办理整车货物发到，不办理整车爆炸品及整车一级氧化剂发到。

威舍站
威舍站位于贵州省黔西南布依族苗族自治州兴义市威舍镇的一个铁路车站，是南昆铁路区段站，西距昆明站308公里，东距南宁站520公里，为昆明局集团与南宁局集团接口站；威红铁路在该站西向北分歧，北距红果站68公里。车站建于1997年，驼峰于2001年8月启用。

威舍站隶属中国铁路昆明局集团昆明车务段，是二等站。客运办理旅客乘降，行李、包裹托运，同时每日有一对往六盘水的慢车始发；货运办理整车货物发到；危险货物仅办理农药、化肥发到。截至2013年，本站的工作人员大多来自1997年撤销的原开远铁路分局。车站设有10条到发线、8条峰尾调车线，2条牵出线。
团结村站
团结村站位于重庆市沙坪坝区土主街道团结村，是中国《中长期铁路网规划》的18个铁路集装箱中心站之一。

团结村站设有12条到发线。东侧为东西长1600米、南北长900米、占地2154亩的重庆铁路集装箱中心站。集装箱中心站设有4个线束8条铁路装卸线，包括一个主集装箱堆场、附集装箱堆场及一个大型冷藏箱区。其中集装箱装卸线4条。集装箱堆场东侧另设有重铁物流团结村基地，设有4条货物线。并设巨龙储运，集钢材运输及经销于一体

重庆东站 (上桥)
重庆东站位于重庆市沙坪坝区上桥，襄渝铁路线上四等站，隶属成都铁路局重庆西车站管辖。车站占地31万平方米，建筑面积3万余平方米。有14条股道，其中2条正线，12条到发线。车站原名上桥站，建于1979年，1988年更名为重庆东站。

在重庆东站原址新建的重庆第三客运站重庆西站已经于2018年1月25日投入使用，而原本站的货运业务则改由白市驿站承担。
鳶尾花星雲
鳶尾花星雲，也稱為NGC 7023或Caldwell 4，是位於仙王座的一個明亮反射星雲和科德韋爾天體。NGC 7023其實是存在於LBN 487星雲之內的一個星團，並被一顆+7等的恆星SAO 19158所照亮。鳶尾花星雲的亮度為+6.8，位置接近米拉型變星仙王座T和+3.23等的明亮變星仙王座β (上衛增一)。它與地球的距離約1,300光年，直徑大約6光年。

反射星雲
反射星雲，以天文學的觀點，只是由塵埃組成，單純的反射附近恆星或星團光線的雲氣。這些鄰近的恆星沒有足夠的熱讓雲氣像發射星雲那樣因被電離而發光，但有足夠的亮度可以讓塵粒因散射光線而被看見。因此，反射星雲顯示出的頻率光譜與照亮他的恆星相似。在星雲中散射光線的是含碳的微粒（像是鑽石塵粒）和其他成分的元素，特別是鐵和鎳，後二者經常會排列在星系磁場中，造成星光輕微的偏極化（Kaler，1998）。哈伯在1922年就區分出了這兩種類型的星雲。

由於散射對藍光比對紅光更有效率（這與天空呈現藍色和落日呈現紅色的過程相同），所以反射星雲通常都是藍色的。

反射星雲和發射星雲常結合在一起成為彌漫星雲，例如獵戶座大星雲。

已知的反射星雲大約有500個，其中最好看的就是圍繞在昴宿星團周圍的反射星雲，在天空中同一個區域中還有藍色的三裂星雲。心宿二是非常紅的一顆紅巨星（光譜分類為M1），被一個巨大的紅色反射星雲圍繞著。

反射星雲通常也是恆星形成的場所。

在1922年，哈伯出版了他調查亮星雲的結果，這工作的一個部份是反射星雲的光度定律。他得到了反射星雲視大小（R）和關聯的恆星視星等（m）之間的關係：

5 log(R) = -m + k

此處的k是與測量儀器靈敏度相關的常數。
納爾瓦灣 (芬蘭灣)
納爾瓦灣（愛沙尼亞語：，俄語：）是芬蘭灣的南部海灣，把芬蘭灣分為兩部分，分別由愛沙尼亞和俄羅斯管轄，被科爾加利半島與東面的盧加灣分隔，海灣長40公里，闊90公里，納爾瓦河在納爾瓦約埃蘇附近流入納爾瓦灣。

芬蘭灣
芬蘭灣（芬蘭語：；愛沙尼亞語：；俄語：，羅馬化：Finskiy zaliv；瑞典語：）是波羅的海東部的大海灣，位於芬蘭、愛沙尼亞之間，伸展至俄羅斯聖彼德堡為止。芬蘭灣形狀細長，面积约3万平方公里，長度約為400公里，南北19至128公里，入口处宽70公里，中部最宽处130公里。平均水深為40米，西端入口处最深，达115米。北岸陡峭、曲折，多岛屿；东、南岸低平。

芬兰湾海水含鹽量低，深度和含鹽量均自東向西逐漸增加，並有3-5月的封凍期。主要注入的河流有從聖彼德堡出海的涅瓦河，以及纳尔瓦河和塞马运河等。

芬兰湾沿岸主要城市有芬蘭的赫爾辛基、愛沙尼亞的塔林及俄羅斯的聖彼德堡。湾内有戈格兰岛（苏尔岛）、莫希内岛（拉万岛）和科特林岛（即喀琅施塔得）。
第72屆威尼斯影展
第72届威尼斯影展於2015年9月2日至9月12日（當地時間）在義大利威尼斯舉行。並在影展期間首映一部费德里柯·费里尼的《阿瑪柯德》修復版。官方宣布由巴塔薩·科馬庫所執導的《聖母峰》為本屆開幕片。委内瑞拉导演洛伦佐·维加斯执导的处女作《来自远方》奪得金狮奖，成为继李安的《断背山》后又一部获得金狮奖的同志题材电影。

威尼斯电影节
威尼斯双年展国际电影艺术展（義大利語：；英語：），也曾被称为“威尼斯电影节”（）或“威尼斯国际电影节”（），是国际上最古老的电影节，同时也是与坎城影展、柏林影展齐名的“世界三大电影节”。“三大电影节”因给予创作者透過电影表达其艺术自由的态度而享誉国际。

威尼斯电影节于1932年在意大利的威尼斯创立，是威尼斯双年展的一部分。威尼斯双年展是世界上最古老的艺术展览之一，由威尼斯市议会在1893年4月19日设立。威尼斯双年展的展览内容现在已涵盖意大利及国际范围内的美术、建筑、舞蹈、音乐、戏剧和电影。这些作品有不同的展览经历：国际美术展、国际当代音乐节、国际戏剧节、国际建筑展、国际当代舞蹈节、国际儿童嘉年华和年度威尼斯电影节，而威尼斯电影节是这些展览中最为出名的。

威尼斯电影节于每年的8月下旬到9月初在威尼斯潟湖内的麗都島上举行，而主要的放映活动则集中在马可尼海滨（）的威尼斯电影宫。威尼斯电影节依然是目前国际上最受欢迎和发展速度最快的电影节之一。
丹尼尔·南斯克格
丹尼尔·保罗·古斯塔夫·南斯克格（英語： ，1974年5月22日—）是退役瑞典职业足球运动员，司职前锋 ，曾效力于侯嘉堡格、马尔默、尤尔格丹、阿西里斯卡、Sylvia、兰斯克鲁纳、四川冠城和斯塔贝克，以及瑞典国家队。

挪威足球超级联赛
挪威足球超級聯賽（Eliteserien），是挪威足球联赛系统的第1 級別，亦是聯賽的最高級別和挪威頂級足球聯賽，由挪威足總管理，通常简称“挪超”。挪超聯賽隊伍共有16支。

挪威國內聯賽肇始於1937年，頂級聯賽起先稱為Norgesserien，1948年改為Hovedserien，1963年改為1. divisjon（甲級聯賽）。1991年聯賽升格，改為現名Eliteserien。由於挪威接近北極圈，挪威聯賽球季在每年春季期間展開，至冬天結束。
玉门东站
39°49′43″N 97°55′10″E﻿ / ﻿39.828511°N 97.919426°E﻿ / 39.828511; 97.919426

玉门东站，原名玉门站，2013年11月1日更为现名，位于甘肃省玉门市玉门东镇，建于1956年，是兰新铁路的一个车站。距离兰州站803公里，距上行车站黑山湖站11公里，距下行车站腰泉子站27公里。该站隶属兰州铁路局。

玉门市
40°17′31″N 97°02′44″E﻿ / ﻿40.29184888761922°N 97.04553510993719°E﻿ / 40.29184888761922; 97.04553510993719

玉门市是中华人民共和国甘肃省下辖的县级市，由酒泉市代管，位于甘肃西部，西有疏勒河。

玉门市是甘肃省旅游城市之一，主要旅游资源有火烧沟遗址、昌马石窟、中国石油第一井等。

玉门市作为中国第一个石油工业基地而知名，是中国石油“铁人”王进喜的故乡。玉门一带自二十世纪三十年代开始现代石油开采与加工，新中国成立以后玉门逐渐成为中国西部工业重镇，为中国工业化建设做出重要贡献。但二十世纪九十年代以来，随着当地资源与环境的变化，经济增长减缓。2003年经国务院批准，玉门市政府从以石油工业为主的老市区（今老君庙镇）迁至以农业为主的玉门镇。作为经济支柱的玉门油田分公司和玉门石油管理局东迁至酒泉市肃州区，玉门老市区人口锐减。
蒋州 (隋朝)
蒋州，隋朝时设置的州。

开皇九年（589年）改扬州置，治所在石头城（今江苏南京市清凉山）。以蒋山得名。辖境相当今江苏省南京、溧水、溧阳、高淳等市县及安徽省芜湖、马鞍山两市和当涂等县地。大业初改为丹阳郡。唐朝武德三年（620年）又改扬州，治所在上元县（今江苏南京市），七年改名蒋州，下辖归化县、溧水县、丹阳县、溧阳县、安业县。次年又改扬州。

蒋州刺史

韩洪（开皇年间）

张煚（开皇年间）

郭衍（开皇末年）

卢祖尚（624年）

上元县
上元县是历史上位于南京地区的一个县。

唐朝上元二年（761年），改江宁县为上元县。五代十国时，杨吴政权在天佑十四年（917年），分上元县另置江宁县，两县同属于升州管辖，并以秦淮河为界，两县同城而治，河北为上元、河南为江宁。此后两县并存的历史维持了近千年，先后同属于江宁府（北宋）、建康府（南宋）、集庆路（元）、应天府（明）、江宁府（清）管辖。太平天国时为避讳，称尚元县。民国元年（1912年）撤废上元县、江宁县，新设南京府。抗日战争期间，中国共产党曾设置上元县抗日民主政府。

明清两代，上元县县衙设在中正街（今白下路101号）。明代南京皇宫也位于上元县境内。
圖拉真
图拉真（Trajan, Marcus Ulpius Nerva Traianus，53年9月18日—117年8月9日），98–117年在位，為罗马帝国安敦尼王朝第二任皇帝，也是「五賢帝」中的第二位。他是前任皇帝涅爾瓦之養子，也是羅馬軍中的一位重要統帥。

圖拉真在53年出生於西班牙贝提卡的意大利迦，是第一位義大利以外出生的羅馬皇帝。他在位時立下顯赫的战功，使羅馬帝國的版圖在他的統治下達到了極盛。他曾經建立圖拉真柱記載自己的功績。元老院曾贈給他「最優秀的第一公民」（Optimus Prīnceps）的稱號。

達契亞
達契亞（Dacia，/ˈdeɪʃə/，DAY-shə，拉丁語：[ˈd̪aː.ki.a]），又稱達基亞、達西亞、大夏等，是達契亞人居住的地區，其核心在外西凡尼亞，南至多瑙河，東至黑海，西至大西洋。喀爾巴阡山脈位於達契亞中部。因此，它大致相當於今天的羅馬尼亞，以及摩爾多瓦、保加利亞、塞爾維亞、匈牙利、斯洛伐克和烏克蘭的部分地區。

統一達契亞人和蓋塔人的達契亞王國存在於前82年—106年羅馬征服期間，在布雷比斯塔國王統治下達到鼎盛。由於與圖拉真皇帝的兩次戰爭，人口離散，中心城市薩爾米澤蓋圖薩雷吉亞被羅馬人摧毀，但又在40公里外重建，作為羅馬達契亞行省的首府。一群「自由達契亞人」可能一直留在羅馬帝國以外的現代羅馬尼亞北部領土上，直到民族大遷徙時期開始。該省地區被羅馬人征服，併入羅馬達契亞，從106年被征服到275年，該地區一直由羅馬人控制。
奴豆腐
奴豆腐，又称冷奴、日式冷豆腐，是一种以豆腐为原料制成的日本料理，常在夏天食用。将冷的絹豆腐（日語：）或木綿豆腐（日語：）不切或者切成方形的豆腐块，再放上配料和调味料即可制成。

配料常使用葱、柴魚片、生姜泥、蘘荷、紫苏碎末、萝卜泥、柚子皮泥，调味料常使用浓口酱油、唐辛子味噌、出汁等。也可以添加秋葵、纳豆、梅子酱、辣椒油等食用。

在江户时代的1782年出版的《豆腐百珍》中，提到奴豆腐是已经广为人知的豆腐做法。

在石川县和一部分关西地区，常用芥子代替蘘荷；而在山形县常配合当地特产的山形出汁一起食用。

豆腐百珍
《豆腐百珍》（日语：／ Tōfu Hyakuchin */?）是日本江户时代后期出版的一本食谱，作者姓名不詳，只知筆名為醒狂道人何必醇，不过后世普遍认为作者为曾谷學川:42，并由大坂的春星堂藤原善七郎在天明二年（1782年）出版。全书记载了江户时代100种以豆腐为原材料制作的料理。
吳廷香
吳廷香（1806年—1854年），字奉璋，清代安徽省廬江人，當地門閥士紳，咸豐年間優貢，又孝廉。與桐城戴均衡為友，亦為桐城派文學家。

太平天國時，在廬江辦理團練，得三千士卒，耗盡家資響應曾國藩，強硬抵抗太平軍。一度得勝，克復廬江城。後太平軍集結安慶、桐城等地後援，急攻廷香，廷香敗退，率死士巷戰，力盡陣亡。殉國後，朝廷追贈為雲騎尉。

子吳長慶，後為淮軍名將，官至「浙江提督、山東軍務幫辦」。

桐城派
桐城派，中國清朝散文流派。創始人方苞，繼承者眾，流傳甚廣，劉大櫆為承先啟後者，姚鼐為集大成者，三人有「桐城三祖」之稱，後繼者有方東樹，其後桐城派中興者為曾國藩。

主張義理、考據、辭章三者並重，樹立了桐城派古文之風範。