stanford-oval/wikipedia huggingface dataset:
内部代数
与其他数学领域的关系 > 拓扑学

给定一个拓扑空间 X = < X, T >，你可以形成 X 的幂集布尔代数:
并扩展它为一个内部代数
这里的 I 是普通的拓扑内部算子，定义为
对应的闭包算子定义为
在 X 中 S I 是 S 的最大开子集而 S C 是 S 的最小闭超集。内部代数 A(X) 的开放、闭合、正规开放、正规闭合和闭开元素就是 X 在通常拓扑学意义上开集、闭集、正规开集、正规闭集和闭开集。
所有完全的原子内部代数都同构于为某个拓扑空间 X 形成的 A(X) 内部代数。此外所有内部代数都可以被嵌入到给内部代数以集合的拓扑域表示的那样一个内部代数中。结构 A(X) 的性质就是定义内部代数的真正动机。因为这种与拓扑学的亲密联系，内部代数也叫做拓扑布尔代数。
给定在两个拓扑空间之间的连续映射
我们可以定义完全拓扑态射
为
对于 Y 的所有子集 S。在两个完全原子内部代数之间的所有完全拓扑态射可以以这种方式导出。如果 Top 是拓扑空间和连续映射的范畴而 Cit 是完全原子内部代数和完全拓扑态射的范畴，则 Top 和 Cit 是对偶同构而 A : Top → Cit 是作为范畴的对偶同构的逆变函子。A(f) 是同态当且仅当 f 是连续开映射。
在这种范畴的对偶同构下很多自然的拓扑概念对应于代数性质，特别是连通性对应于不可简约性质:
X 是空的当且仅当 A(X) 是平凡的
X 是不可分的当且仅当 A(X) is 单纯的
X 是离散的当且仅当 A(X) 是布尔的
X 是几乎离散的当且仅当 A(X) 是半单纯的
X 是有限生成的(Alexandrov)当且仅当 A(X) 是算子完备的，就是说它的内部和闭包算子分别分配于任意交和并之上。
X 是连通的当且仅当 A(X) 是直接不可分解的
X 是超连通的当且仅当 A(X) 是有限次直接不可分解的
X 是紧致超连通的当且仅当 A(X) 是次直接不可分解的
与其他数学领域的关系 > 拓扑学 > 广义拓扑

依据开子集的拓扑的拓扑空间的现代公式化，激发了内部代数的可供选择的公式化: 广义拓扑空间是如下形式的代数结构
这里的 < B, ·, +, ', 0, 1 > 是普通的布尔代数，而 T 是在 B 上的一元关系(B 的子集)使得:
0,1 ∈ T
T 闭合在任意并之下(就是说，如果 T 的任意子集的并存在则它就在 T 中)
T 闭合在有限交之下
对于所有 B 的元素 b，并 ∑{a ∈T : a ≤ b} 存在
T 被称为在布尔代数中的广义拓扑。
给定一个内部代数它的开放元素形成了广义拓扑。反过来给定一个广义拓扑空间
我们可以定义 B 上的一个内部算子为 b I = ∑{a ∈T : a ≤ b} 因此生成了其开放元素正好都是 T 的内部代数。所以广义拓扑空间等价于内部代数。
把内部代数考虑为广义拓扑空间，拓扑态射接着是带有增加的算子的布尔代数的标准同态，所以可以应用来自泛代数的标准结果。
与其他数学领域的关系 > 拓扑学 > 邻域函数和邻域半格

邻域的拓扑概念可以推广到内部代数：元素y被称为是元素x的邻域，当且仅当x ≤ yI。x 的所有邻域的集合 N(x) 构成形成邻域滤子。这也导致了内部代数的另一种公式化:
在布尔代数上的邻域函数是从它的底层集合B到它的滤子的集合的映射N使得：
对于所有 x ∈ B，max { y ∈ B : x ∈ N(y) } 存在
对于所有 x,y ∈ B，x ∈ N(y) 当且仅当有 z ∈ B 使得 y ≤ z ≤ x 并且 z ∈ N(z)。
内部代数的元素到它的邻域的滤子的映射 N 是在内部代数底层的布尔代数上的邻域函数。此外，给定带有底层集合 B 的布尔代数上邻域函数 N，我们可以定义一个内部算子为 xI = max { y ∈ B : x ∈ N(y) } 从而获得一个内部代数。接着 N(x) 正好就是这个内部代数内 x 在的领域的滤子。所以内部代数等价于带有指定邻域函数的布尔代数。
依据领域函数，开放元素正好就是那些元素 x 使得 x ∈ N(x)。依据开元素 x ∈ N(y) 当且仅当有开元素 z 使得 y ≤ z ≤ x。
领域函数可以更一般的定义在(交)-半格上生成叫做邻域半格的结构。内部代数可以被看作就是布尔邻域格，就是说底层半格形成布尔代数的领域格。
与其他数学领域的关系 > 模态逻辑

给定在模态逻辑 S4中一个理论(形式句子的集合) M，我们可以形成它的 Lindenbaum-Tarski代数:
这里的 ~ 是在 M 中的句子的等价关系，p ~ q 当且仅当 p 和 q 在 M 中是逻辑等价的，而 M / ~ 是在这个关系下等价类的集合。则 L(M) 是内部代数。在这种情况下的内部算子对应于模态算子 □(必然性)，而闭包算子对应于 ◊(可能性)。这种结构是模态代数和模态逻辑的更一般结果的特殊情况。
L(M) 的开放元素对应于只在必然为真时为真的那些句子，而闭合元素对应于只在必然为假时为假的那些句子。
因为它们与 S4 的关系，内部代数有时叫做 S4 代数或 Lewis 代数，得名于逻辑学家 C. I. Lewis，他首先提议了模态逻辑 S4 和 S5。
与其他数学领域的关系 > 预序

因为内部代数是带有算子的(正常)布尔代数，它们可以被表示为在适当关系结构上集合域。特别是，因为它们是模态代数，它们可以被表示为在叫做 模态框架的一个单一二元关系上的集合的域。对应于内部代数的模态框架正好就是预序集合。预序集合(也叫做“S4-框架”)提供了模态逻辑 S4 的 Kripke语义，而在内部代数和预序之间的联系密切关联于它们与模态逻辑的联系。
给定一个预序集合 X = < X, « > 我们可以构造一个内部代数
从 X 的幂集布尔代数，这里的内部算子 I 定义为
对应的闭包算子定义为
S I 是从 S 之外的“世界”不可访问的所有“世界”的集合，而 S C 是从在 S 之内的某个“世界”可以访问的所有“世界”的集合。所有内部代数都可以嵌入为某个预序集合 X 形成内部代数 B(X)    中，给予上述提及的作为集合域(预序域)的表示。
这个构造和表示定理是对模态代数和模态框架的更一般结果的特殊情况。在这种考虑下，内部代数有着特定价值，因为它们联系于拓扑学。这种构造提供了带有拓扑的预序集合 X ，这个Alexandrov拓扑生成拓扑空间 T(X)，它的开集是:
对应的闭集是:
换句话说，开集的“世界”从外部(上部集合)是不可访问的，而闭集从内部(下部集合)是不能访问所有外部“世界”的。此外 B(X) = A(T(X))。
与其他数学领域的关系 > 一元布尔代数

任何一元布尔代数都可以被认为是内部算子是全称量词而闭包算子是存在量词的内部代数。一元布尔代数正好就是满足恒等式 xIC = xI 的内部代数的一个簇。换句话说，它们正好是其中所有开放元素都是闭合的，或者等价的说所有闭合元素都是开发的内部代数。此外，这种内部代数正好是半单纯内部代数。它们也是对应于模态逻辑 S5 的内部代数，所以也叫做 S5 代数。
由于预序集合和内部代数之间的联系，它们对应的预序是等价关系，反映了这种预序集合为 S5 提供了 Kripke 语义的事实。这还反映了在量化的一元逻辑(一元布尔代数为它提供了代数描述)和 S5 之间的联系，这里的模态算子 □(必然性)和 ◊(可能性)可以在使用模态全称和存在量化的 Kripke 语义中解释，而不需要借助可及关系。
与其他数学领域的关系 > Heyting代数

内部代数的开放元素形成了Heyting代数而闭合元素形成了对偶 Heyting 代数。正规开放元素和正规闭合元素分别对应于这些代数的伪补元和对偶的伪补元，因而形成了布尔代数。闭开元素对应于补元素，因而形成了这些布尔代数和这个内部代数自身的公共子代数。所有 Heyting代数可以被表示为内部代数的开放元素。
Heyting 代数对直觉逻辑扮演了内部代数对于模态逻辑 S4 和布尔代数对于命题逻辑的相同角色。在 Heyting 代数和内部代数之间的联系反映了在直觉逻辑和 S4 之间的联系，直觉逻辑的理论可以被解释为闭合在必然性下的 S4 理论。
与其他数学领域的关系 > 导出代数

给定一个内部代数 A，闭包算子服从导出算子 D  的公理。因此通过采用闭包算子为导出算子，可以形成与 A 有相同底层布尔代数的导出代数 D(A)。
所以内部代数是导出代数。从这个角度看，它们正好是满足恒等式 xD ≥ x 的导出代数的一个簇。导出代数为模态逻辑 WK4 提供了适当的代数语义。所以导出代数对应于拓扑导出集合和 WK4，如同内部/闭包代数的对应于拓扑内部/闭包和 S4。
给定带有导出算子 D 的导出代数 V，我们可以形成与 V 有相同底层布尔代数的一个内部代数 I(V)，带有内部和闭包算子分别定义为 xI = x·x ' D ' 和 xC = x + xD。所以所有导出代数都可以被当作内部代数。此外给定一个内部代数 A，我们有 I(D(A)) = A。但是，D(I(V)) = V 不对于所有导出代数 V 成立。
元数学

Gregorczyk 证明了闭包代数的基本理论的不可决定性。
引用

↑  Andrzej Gregorczyk (1951) "Undecidability of some topological theories," Fundamenta Mathematicae 38: 137-52.
Blok, W.A., 1976, Varieties of interior algebras, Ph.D. thesis, University of Amsterdam.
Esakia, L., 2004, "Intuitionistic logic and modality via topology," Annals of Pure and Applied Logic 127: 155-70.
McKinsey, J.C.C.  and Alfred Tarski, 1944, "The Algebra of Topology," Annals of Mathematics 45: 141-91.
Naturman, C.A., 1991, Interior Algebras and Topology, Ph.D. thesis, University of Cape Town Department of Mathematics.
俅江龙胆

| 俅江龙胆 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 菊类植物 Asterids
目：: 龙胆目 Gentianales
科：: 龍膽科 Gentianaceae
属：: 龍膽屬 Gentiana
种：: 俅江龙胆 G. qiujiangensis
二名法
Gentiana qiujiangensis T. N. Ho

俅江龙胆（学名：）是龙胆科龙胆属的植物，为中国的特有植物。分布在中国大陆的云南等地，生长于海拔3,900米的地区，多生在高山草地以及高山沼泽地，目前尚未由人工引种栽培。
刺胫长蝽属

| 刺胫长蝽属 |
| --- | --- |


科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 昆虫纲 Insecta
目：: 半翅目 Hemiptera
科：: 长蝽科 Lygaeidae
属：: 刺胫长蝽属 Horridipamera Malipatil, 1978

种
 见正文
刺胫长蝽属（学名：Horridipamera）是长蝽科的一属。
下属物种

本属包括以下物种：
Horridipamera bergrothi (Horvath, 1892)
Horridipamera cantrelli Malipatil, 1978
Horridipamera compacta Slater & Zheng, 1985
Horridipamera emersoni (Distant, 1909)
Horridipamera ferruginosa (Stal, 1874)
Horridipamera inconspicuus (Dallas, 1852)
Horridipamera lateralis (Scott, 1874)
Horridipamera medleri Slater & Zheng, 1985
紫黑刺脛長蝽 Horridipamera nietneri (Dohrn, 1860)
Horridipamera perlongus (Scudder, 1971)
Horridipamera pullatus (Hesse, 1925)
强壮刺胫长蝽 Horridipamera robusta Malipatil, 1978
Horridipamera subsericeus (Breddin, 1907)
2012年夏季奧林匹克運動會摔跤比賽—男子自由式55公斤級

| 2012年夏季奥林匹克运动会 摔跤比賽 > 自由式 |
| --- | --- | --- | --- | --- | --- |
| 男子 | 男子 | 男子 | 女子 | 女子 | 女子 |
|   | 55公斤級 |   |   | 48公斤級 |   |
|   | 60公斤級 |   |   | 55公斤級 |   |
|   | 66公斤級 |   |   | 63公斤級 |   |
|   | 74公斤級 |   |   | 72公斤級 |   |
|   | 84公斤級 |   |   |  |   |
|   | 96公斤級 |   |   |  |   |
|  | 120公斤級 |  |  |  |  |
古典式
男子
|   | 55公斤級 |   |   | 84公斤級 |   |
|   | 60公斤級 |   |   | 96公斤級 |   |
|   | 66公斤級 |   |   | 120公斤級 |   |
|   | 74公斤級 |   |   |  |   |
2012年夏季奧林匹克運動會摔跤比賽的男子自由式55公斤級项目于2012年8月10日在倫敦ExCel國際會展中心举行。
賽程

所有時間為英國夏令時間 (UTC+1)
| 日期 | 時間 | 回合 |
| --- | --- | --- |
| 8月10日 | 13:00 | 預賽 |
| 8月10日 | 13:30 | 16強 |
| 8月10日 | 14:30 | 半準決賽 |
| 8月10日 | 15:00 | 準決賽 |
| 8月10日 | 17:45 | 復活賽及銅牌戰 |
| 8月10日 | 18:25 | 金牌戰 |
比賽成績 > 復活賽

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 復活賽 | 復活賽 | 復活賽 |  |  | 銅牌戰 | 銅牌戰 | 銅牌戰 |

|  |    Naatele Shilimela（纳米比亚） |    Naatele Shilimela（纳米比亚） | 1 |   |  |  |  |  |
|  |    梁景一（朝鲜） |    梁景一（朝鲜） | 3 |   |   |    梁景一（朝鲜） |    梁景一（朝鲜） | 3 |
|  |     |     |   |   |   |    尼拉斯貝卡（） |    尼拉斯貝卡（） | 1 |
|  |     |     |   |   |  |  |  |  |



| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 復活賽 | 復活賽 | 復活賽 |  |  | 復活賽 | 復活賽 | 復活賽 |  |  | 銅牌戰 | 銅牌戰 | 銅牌戰 |

|  |    Ibrahim Farag（埃及） |    Ibrahim Farag（埃及） | 0 |   |  |  |  |  |  |  |  |  |  |
|  |    Radoslav Velikov（保加利亚） |    Radoslav Velikov（保加利亚） | 3 |   |   |    Radoslav Velikov（保加利亚） |    Radoslav Velikov（保加利亚） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |    Amit Kumar（印度） |    Amit Kumar（印度） | 0 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    Radoslav Velikov（保加利亚） |    Radoslav Velikov（保加利亚） | 1 |
|  |     |     |   |   |   |   |   |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 3 |
|  |     |     |   |   |   |     |     |   |   |  |  |  |  |
|  |     |     |   |   |   |     |     |   |   |   |  |  |  |
|  |     |     |   |   |  |  |  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |  |  |  |  |     |     |   |
|  |  |  |  |  |  |  |  |  |  |  |     |     |   |
比賽成績 > 淘汰賽 > 上半賽區

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 32強賽 | 32強賽 | 32強賽 |  |  | 16強賽 | 16強賽 | 16強賽 |  |  | 半準決賽 | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 | 準決賽 |

|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    Samuel Hazewinkel（美国） |    Samuel Hazewinkel（美国） | 1 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    尼拉斯貝卡（） |    尼拉斯貝卡（） | 3 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    尼拉斯貝卡（） |    尼拉斯貝卡（） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    Ahmet Peker（土耳其） |    Ahmet Peker（土耳其） | 1 |   |  |  |  |  |
|  |     |     |   |   |   |    Ahmet Peker（土耳其） |    Ahmet Peker（土耳其） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    David Tremblay（加拿大） |    David Tremblay（加拿大） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    尼拉斯貝卡（） |    尼拉斯貝卡（） | 1 |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    奧塔蘇爾塔諾夫（俄罗斯） |    奧塔蘇爾塔諾夫（俄罗斯） | 3 |
|  |     |     |   |   |   |    梁景一（朝鲜） |    梁景一（朝鲜） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    Dilshod Mansurov（） |    Dilshod Mansurov（） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    梁景一（朝鲜） |    梁景一（朝鲜） | 1 |   |   |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    奧塔蘇爾塔諾夫（俄罗斯） |    奧塔蘇爾塔諾夫（俄罗斯） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |    奧塔蘇爾塔諾夫（俄罗斯） |    奧塔蘇爾塔諾夫（俄罗斯） | 3 |   |   |   |   |   |   |   |     |     |   |
|  |     |     |   |   |   |    Naatele Shilimela（纳米比亚） |    Naatele Shilimela（纳米比亚） | 0 |   |   |   |   |   |   |   |     |     |   |
|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
比賽成績 > 淘汰賽 > 下半賽區

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 32強賽 | 32強賽 | 32強賽 |  |  | 16強賽 | 16強賽 | 16強賽 |  |  | 半準決賽 | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 | 準決賽 |

|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    金津哲（韩国） |    金津哲（韩国） | 1 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 3 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    Mihran Jaburyan（亚美尼亚） |    Mihran Jaburyan（亚美尼亚） | 1 |   |  |  |  |  |
|  |     |     |   |   |   |    Mihran Jaburyan（亚美尼亚） |    Mihran Jaburyan（亚美尼亚） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    Brandon Escobar（洪都拉斯） |    Brandon Escobar（洪都拉斯） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 1 |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    欣切加什维利（） |    欣切加什维利（） | 3 |
|  |     |     |   |   |   |    Amit Kumar（印度） |    Amit Kumar（印度） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |    Naranbaatar Bayaraa（蒙古） |    Naranbaatar Bayaraa（蒙古） | 0 |   |   |    Hassan Rahimi（伊朗） |    Hassan Rahimi（伊朗） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |    Hassan Rahimi（伊朗） |    Hassan Rahimi（伊朗） | 3 |   |   |   |   |   |   |   |    Amit Kumar（印度） |    Amit Kumar（印度） | 1 |   |   |  |  |  |
|  |    Radoslav Velikov（保加利亚） |    Radoslav Velikov（保加利亚） | 3 |   |   |   |   |   |   |   |    欣切加什维利（） |    欣切加什维利（） | 3 |   |  |  |  |  |
|  |    Nikolay Noev（） |    Nikolay Noev（） | 0 |   |   |    Radoslav Velikov（保加利亚） |    Radoslav Velikov（保加利亚） | 1 |   |   |   |   |   |   |   |     |     |   |
|  |    欣切加什维利（） |    欣切加什维利（） | 3 |   |   |    欣切加什维利（） |    欣切加什维利（） | 3 |   |   |   |   |   |   |   |     |     |   |
|  |    Ibrahim Farag（埃及） |    Ibrahim Farag（埃及） | 1 |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
1924年冬季奥林匹克运动会意大利代表团

1924年冬季奥林匹克运动会意大利代表团参加了在法国的霞慕尼举办的1924年冬奥会。
参考

(ed.) M. Avé, Comité Olympique Français.  (PDF). Paris: Librairie de France.   [2008-01-31]. （原始内容 (PDF)存档于2008-04-10） （法语）.
俅江黄耆

| 俅江黄耆 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 蔷薇类植物 Rosids
目：: 豆目 Fabales
科：: 豆科 Fabaceae
亚科：: 蝶形花亚科 Faboideae
属：: 黃芪屬 Astragalus
种：: 俅江黄耆 A. chiukiangensis
二名法
Astragalus chiukiangensis Tsai et Yu in Bull.

俅江黄耆（学名：）为豆科黄芪属的植物，为中国的特有植物。分布在中国大陆的云南等地，生长于海拔2,300米的地区，一般生长在山坡草地，目前尚未由人工引种栽培。
别名

俅江芰草（静生生物调查所汇报）
保州 (唐朝)

保州，中国唐朝时设置的州。
唐玄宗开元二十八年（740年）置奉州，治定廉县（今四川省理县北朴头乡）。天宝元年（742年）改为云山郡。天宝八载（749年）移治天保军，天保军改名云山县（今理县西北米亚罗镇十八拐村），改为天保郡。唐肃宗乾元元年（758年）更名保州，下辖定廉县、云山县、安居县（今四川省理县古尔沟镇沙坝村）、归顺县（今四川省理县夹壁乡）。辖境相当今四川理县西北地。唐代宗广德元年（763年）后地入吐蕃。在维州薛城县（今理县甘堡乡）设保州。唐顺宗永贞元年（805年）又改名古州，唐宪宗元和年间复为保州。北宋为羁縻州，属威州。宋徽宗政和四年（1114年）改为祺州。
董嘉俊（758年）
董振（801年）
上溪镇

| 上溪镇 |
| --- | --- |
镇
黄山八面厅
坐标：29°17′00″N 119°56′09″E﻿ / ﻿29.2834°N 119.93573°E﻿ / 29.2834; 119.93573
国家:  中华人民共和国
上级行政区: 义乌市
村级区划单位数:  78 2社区 76行政村 
时区: 北京时间（UTC+8）
行政区划代码: 33 07 82 104
电话区号: +86 (0)579
上溪镇，中国浙江省金华市义乌市下辖的一个镇。
辖区

该街道辖有：
镇中社区、​镇东社区、​岩口村、​余车村、​东余村、​云门村、​祥贝村、​樟村、​五塘村、​宅山村、​寺西村、​上潘村、​关胡村、​上横塘村、​雅童村、​毛界村、​岩下村、​周村、​楼角村、​上山村、​马岭村、​仙坪村、​白岩村、​仙溪村、​斯何村、​上新塘村、​贝家村、​山坞村、​长富村、​溪华村、​新西楼村、​后矮村、​水碓张村、​后溪村、​上楼宅村、​贾伯塘村、​红桥头村、​傅塘下村、​下楼宅村、​石鼓后村、​里美山村、​五坪山村、​乔里何村、​金付宅村、​上溪一村、​上溪二村、​上溪三村、​黄山一村、​黄山二村、​黄山三村、​黄山四村、​黄山五村、​上白塔塘村、​荷市村、​新民村、​和平村、​南平村、​塘西村、​沈宅村、​王村、​仇宅村、​前山村、​西坞村、​沿华村、​下宅村、​后宋村、​苍王村、​上店村、​水碓村、​溪田村、​寺口蒋村、​派溪头村、​冷坞坪村、​苦竹塘村、​萧皇塘村、​寺口陈村、​毛塘楼村和古塘下村
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
加时赛

「」至此。关于其他用法，请见「」。
：此条目页的主题不是或。
加时赛是在比赛的常规时间中，因为平局（和局）而未能分出胜负，需要额外的一段比赛时间。
各種運動的延長賽

在足球比赛的淘汰赛阶段，如果双方在常规赛时间内打成平局，则进入30分钟的加时赛，分為上下兩個半場，各15分鐘。如加时赛仍旧打成平局，则双方轮流互射点球来决出胜负。国际足联曾推行驟死賽，亦即加时赛中先入球者胜，稱為「黃金入球」，但是后来取消了这个规定，再行銀球制，即加時賽上半場若其中一隊領先，就不須進行加時下半場，加時上半場領先一方獲勝，但最終銀球制亦被取消，所以按照目前規則，不論加時上半場是否有一隊打破僵局，都會進行加時下半場的比賽。另外，足球比赛还有补时的规定，需要与加时相区别。
在篮球和橄榄球比赛中，如果双方在常规赛时间内打成平局，则进入加时赛。如加时赛仍旧打成平局，则再进行一场加时赛，以此类推。
在冰球比赛中，突然死亡法和加时赛打平则增加一轮加时赛的方法都有采用。
在跆拳道比賽中，如果雙方在正規時間打成平手，則進行延長賽。在延長賽中首先得分者，獲勝（即驟死賽）。
在棒球比賽中，如果雙方在正規的9局內平手，則加賽到雙方分出勝負的那一局結束為止，職業棒球賽事的例行賽通常在12局打完仍平分時，該場比賽為和局而結束。有時會在打到一定的局數（如12局）後改採類似驟死賽的「突破僵局制」；但到一定局數後保留比賽下場再戰或者完全沒限制最多局數的狀況亦時常出現。
另見

提前結束比賽
2012年夏季奧林匹克運動會摔跤比賽—男子自由式60公斤級

| 2012年夏季奥林匹克运动会 摔跤比賽 > 自由式 |
| --- | --- | --- | --- | --- | --- |
| 男子 | 男子 | 男子 | 女子 | 女子 | 女子 |
|   | 55公斤級 |   |   | 48公斤級 |   |
|   | 60公斤級 |   |   | 55公斤級 |   |
|   | 66公斤級 |   |   | 63公斤級 |   |
|   | 74公斤級 |   |   | 72公斤級 |   |
|   | 84公斤級 |   |   |  |   |
|   | 96公斤級 |   |   |  |   |
|  | 120公斤級 |  |  |  |  |
古典式
男子
|   | 55公斤級 |   |   | 84公斤級 |   |
|   | 60公斤級 |   |   | 96公斤級 |   |
|   | 66公斤級 |   |   | 120公斤級 |   |
|   | 74公斤級 |   |   |  |   |
2012年夏季奧林匹克運動會摔跤比賽的男子自由式60公斤級项目于2012年8月11日在倫敦ExCel國際會展中心举行。共有19名選手參加該項目。
賽程

所有時間為英國夏令時間 (UTC+1)
| 日期 | 時間 | 回合 |
| --- | --- | --- |
| 8月11日 | 13:00 | 預賽 |
| 8月11日 | 13:30 | 16強 |
| 8月11日 | 14:30 | 半準決賽 |
| 8月11日 | 15:00 | 準決賽 |
| 8月11日 | 17:45 | 復活賽及銅牌戰 |
| 8月11日 | 18:25 | 金牌戰 |
比賽成績 > 復活賽

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 復活賽 | 復活賽 | 復活賽 |  |  | 銅牌戰 | 銅牌戰 | 銅牌戰 |

|  |    Tim Schleicher（德国） |    Tim Schleicher（德国） | 1 |   |  |  |  |  |
|  |    湯元健一（日本） |    湯元健一（日本） | 3 |   |   |    湯元健一（日本） |    湯元健一（日本） | 1 |
|  |     |     |   |   |   |    科尔曼·斯科特（美国） |    科尔曼·斯科特（美国） | 3 |
|  |     |     |   |   |  |  |  |  |



| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 復活賽 | 復活賽 | 復活賽 |  |  | 復活賽 | 復活賽 | 復活賽 |  |  | 銅牌戰 | 銅牌戰 | 銅牌戰 |

|  |    Franklin Gomez（波多黎各） |    Franklin Gomez（波多黎各） | 0 |   |  |  |  |  |  |  |  |  |  |
|  |    尤格施瓦·達特（印度） |    尤格施瓦·達特（印度） | 3 |   |   |    尤格施瓦·達特（印度） |    尤格施瓦·達特（印度） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |    Masoud（伊朗） |    Masoud（伊朗） | 1 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    尤格施瓦·達特（印度） |    尤格施瓦·達特（印度） | 3 |
|  |     |     |   |   |   |   |   |   |   |   |    李宗明（朝鲜） |    李宗明（朝鲜） | 1 |
|  |     |     |   |   |   |     |     |   |   |  |  |  |  |
|  |     |     |   |   |   |     |     |   |   |   |  |  |  |
|  |     |     |   |   |  |  |  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |  |  |  |  |     |     |   |
|  |  |  |  |  |  |  |  |  |  |  |     |     |   |
比賽成績 > 淘汰賽 > 上半賽區

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 32強賽 | 32強賽 | 32強賽 |  |  | 16強賽 | 16強賽 | 16強賽 |  |  | 半準決賽 | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 | 準決賽 |

|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    李聖珠（韩国） |    李聖珠（韩国） | 0 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    科尔曼·斯科特（美国） |    科尔曼·斯科特（美国） | 3 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    科尔曼·斯科特（美国） |    科尔曼·斯科特（美国） | 5 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    Malkhaz Zarkua（） |    Malkhaz Zarkua（） | 0 |   |  |  |  |  |
|  |     |     |   |   |   |    Malkhaz Zarkua（） |    Malkhaz Zarkua（） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    Vasyl Fedoryshyn（乌克兰） |    Vasyl Fedoryshyn（乌克兰） | 0 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    科尔曼·斯科特（美国） |    科尔曼·斯科特（美国） | 0 |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    阿斯加罗夫（阿塞拜疆） |    阿斯加罗夫（阿塞拜疆） | 3 |
|  |     |     |   |   |   |    Yowlys Rodriguez（古巴） |    Yowlys Rodriguez（古巴） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    湯元健一（日本） |    湯元健一（日本） | 1 |   |   |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    阿斯加罗夫（阿塞拜疆） |    阿斯加罗夫（阿塞拜疆） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |    阿斯加罗夫（阿塞拜疆） |    阿斯加罗夫（阿塞拜疆） | 3 |   |   |   |   |   |   |   |     |     |   |
|  |     |     |   |   |   |    Tim Schleicher（德国） |    Tim Schleicher（德国） | 1 |   |   |   |   |   |   |   |     |     |   |
|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
比賽成績 > 淘汰賽 > 下半賽區

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 32強賽 | 32強賽 | 32強賽 |  |  | 16強賽 | 16強賽 | 16強賽 |  |  | 半準決賽 | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 | 準決賽 |

|  |     |     |   |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    Ibrahim（埃及） |    Ibrahim（埃及） | 3 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |    Didier Pais（法国） |    Didier Pais（法国） | 1 |   |  |  |  |  |  |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    Ibrahim（埃及） |    Ibrahim（埃及） | 1 |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |    李宗明（朝鲜） |    李宗明（朝鲜） | 3 |   |  |  |  |  |
|  |     |     |   |   |   |    Farzad Tarash（） |    Farzad Tarash（） | 0 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |    李宗明（朝鲜） |    李宗明（朝鲜） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    李宗明（朝鲜） |    李宗明（朝鲜） | 0 |
|  |     |     |   |   |   |   |   |   |   |   |   |   |   |   |   |    庫杜克霍夫（俄罗斯） |    庫杜克霍夫（俄罗斯） | 3 |
|  |     |     |   |   |   |    多倫·祖馬茲耶夫（） |    多倫·祖馬茲耶夫（） | 1 |   |   |   |   |   |   |  |  |  |  |
|  |    Masoud（伊朗） |    Masoud（伊朗） | 3 |   |   |    Masoud（伊朗） |    Masoud（伊朗） | 3 |   |   |   |   |   |   |  |  |  |  |
|  |    Guillermo Torres（墨西哥） |    Guillermo Torres（墨西哥） | 1 |   |   |   |   |   |   |   |    Masoud（伊朗） |    Masoud（伊朗） | 1 |   |   |  |  |  |
|  |    Anatolie Guidea（保加利亚） |    Anatolie Guidea（保加利亚） | 1 |   |   |   |   |   |   |   |    庫杜克霍夫（俄罗斯） |    庫杜克霍夫（俄罗斯） | 3 |   |  |  |  |  |
|  |    尤格施瓦·達特（印度） |    尤格施瓦·達特（印度） | 3 |   |   |    尤格施瓦·達特（印度） |    尤格施瓦·達特（印度） | 0 |   |   |   |   |   |   |   |     |     |   |
|  |    Franklin Gomez（波多黎各） |    Franklin Gomez（波多黎各） | 1 |   |   |    庫杜克霍夫（俄罗斯） |    庫杜克霍夫（俄罗斯） | 3 |   |   |   |   |   |   |   |     |     |   |
|  |    庫杜克霍夫（俄罗斯） |    庫杜克霍夫（俄罗斯） | 3 |   |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
2020年夏季奥林匹克运动会库克群岛代表团

2020年夏季奥林匹克运动会库克群岛代表团是库克群岛所派出的，因2019冠状病毒病疫情而延期至2021年举办的第32届夏季奥林匹克运动会的代表团。这是库克群岛第九次参加夏季奥运。
田径

条目：2020年夏季奥林匹克运动会田径比赛
库克群岛田径运动员Alex Beddoes获得奥运参赛资格，他是该届奥运库克群岛代表团唯一的田径选手。
径赛运动员的预赛、1/4决赛和半决赛排名是该运动员所在小组的排名，而非总排名
Q = 直接晋级至下一轮
q = 径赛：因在所有未直接晋级选手中成绩靠前而获得剩下的晋级名额；田赛：未达到晋级标准成绩但总排名靠前
| 运动员 | 项目 | 预赛> 成绩 | 预赛> 排名 | 半决赛> 成绩 | 半决赛> 排名 | 决赛> 成绩 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 亞歷克斯·貝多斯（英语：） | 男子800米 | 1:47.26 NR | 7 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
皮划艇

条目：2020年夏季奥林匹克运动会皮划艇比赛
皮划艇 > 激流

库克群岛原本在奥运皮划艇激流项目上获分配到两个未使用的席位，两个席位分别是男子单人皮艇和女子单人皮艇，后来该国退还了男子单人皮艇的席位。
| 运动员 | 项目 | 预赛> 第一次 | 预赛> 排名 | 预赛> 第二次 | 预赛> 排名 | 预赛> 最佳 | 预赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 珍·尼古拉斯（英语：） | 女子C-1 | 151.95 | 19 | 205.74 | 22 | 151.95 | 21 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
| 珍·尼古拉斯（英语：） | 女子K-1 | 150.17 | 23 | 120.10 | 20 | 120.10 | 21 Q | 144.84 | 22 | 未晋级 | 未晋级 |
皮划艇 > 静水

库克群岛在奥运皮划艇竞速项目上通过2020年大洋洲皮划艇竞速锦标赛获得席位。
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 1/4决赛> 时间 | 1/4决赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Kohl Tamarua-Horton | 男子K-1 200米 | 40.061 | 5 | DNF | DNF | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
| Kohl Tamarua-Horton | 男子K-1 1000米 | 4:24.679 | 6 | 4:39.138 | 6 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
| 傑德·蒂爾尼（英语：） | 女子K-1 200米 | 48.271 | 6 | 49.290 | 8 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
注：FA = 晋级A组决赛（争夺奖牌）；FB = 晋级B组决赛（非争夺奖牌）
游泳

条目：2020年夏季奥林匹克运动会游泳比赛
库克群岛有一名男选手和一名女选手获得奥运游泳项目的参赛资格。
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 韋斯利·羅伯茨 | 男子200米自由泳 | 1:50.41 | 37 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
| 韋斯利·羅伯茨 | 男子400米自由泳 | 3:55.65 | 30 | 不適用 | 不適用 | 未晋级 | 未晋级 |
| 克絲汀·費雪-馬斯特斯（英语：） | 女子100米蛙泳 | 1:13.98 | 36 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
参考资料

↑   (PDF). IOC. 2021-07-23  [2021-08-04]. （原始内容 (PDF)存档于2021-08-02）.
↑   (PDF). IOC. 2021-08-08  [2021-08-14]. （原始内容 (PDF)存档于2021-08-10）.
1 2  . Cook Islands News. 2021-06-17  [2021-07-11]. （原始内容存档于2021-07-11）.
↑  . ICF. 2019-11-04  [2019-12-06]. （原始内容存档于2019-12-06）.
↑  . ICF. 2021-04-30  [2021-05-01]. （原始内容存档于2021-05-01）.
↑  . . 2021-05-25  [2021-05-25]. （原始内容存档于2021-05-26）.
↑   (PDF). ICF.   [2019-11-15]. （原始内容 (PDF)存档于2021-07-17）.
利物鳥

皇家利物大廈頂部利物鳥塑像。
利物鳥（英語：，/ˈlaɪvə ˌbɜːd/）是英國英格蘭利物浦的城市標誌。
歷史

最初使用利物鳥作為利物浦象徵的是在其1350年代的印章，這印章現已存放於大英博物館。於1668年，德比伯爵（Earl of Derby）送贈了一個刻有利物鳥的權杖給鎮議會。於1797年，英國紋章院授予利物浦正式的紋章，其上就以利物鳥為記號。
自此以後利物鳥就以不同的形式代表著利物浦。最為明顯的標示是兩隻位於利物浦码头顶（Pier Head）皇家利物大廈上的利物鳥，俯瞰著默西河（River Mersey）。皇家利物大廈可能是市內最著名的建築物，其上有兩個鐘樓，鐘樓上各有一隻像鸕鶿的利物鳥。
另外在其他地方也有利物鳥的標誌，包括在聖尼克勒斯教堂（Church of Our Lady and Saint Nicholas）側的辦公大樓及在默西賽德海洋博物館的石像。
可能物種

一直以來就利物鳥的可能物種就存在著爭議及混淆。
中世紀印章上的利物鳥十分普通，但印章內卻有提及授予利物浦憲章的約翰國王。約翰國王經常使用與聖約翰有關的鷹的標記。利物鳥的喙上更有一小枝的金雀花，而金雀花正是金雀花王朝皇室的標誌。
到了17世紀，利物鳥的起源已漸漸被忘記，卻以出沒於利物浦近海的鸕鶿為參考。當時權杖的名稱更被混淆成為古低地荷蘭語的「琵鷺」，但在英格蘭北部很少會見到琵鷺。
英國紋章院以鸕鶿來製作利物浦的紋章，在其喙上加上紫菜，暗示利物鳥的名字是來自該小枝的紫菜。
商標

於2008年11月，利物浦足球俱樂部嘗試將其徽章上的利物鳥註冊成商標。經過多次討論後，利物浦足球俱樂部最終於2010年9月4日成功將利物鳥註冊為其商標。
參考

↑  .   [2010-09-07]. （原始内容存档于2011-06-08）.
↑   (PDF).   [2010-09-07]. （原始内容 (PDF)存档于2020-05-11）.
↑  . BBC NEWS. 2008-11-19  [2010-09-07].
↑  Richard Buxton. . Click Liverpool. 2010-09-04  [2010-09-07]. （原始内容存档于2013-01-28）.
外部連結

默西賽德海洋博物館
皇家利物大廈
利物浦市議會的紋章：中間可見利物鳥。
劉擇明

劉擇明，筆名「擇言」，香港語言學學者，現任香港教育大學語言學及現代語言系助理教授。網上粵語辭典《粵典》創辦人。
參考資料

↑  . 港語學. 2022-03-15  [2024-02-25]. （原始内容存档于2024-04-24） （中文（臺灣））.
↑  . 端傳媒. 2016-11-30  [2019-06-25]. （原始内容存档于2020-03-28）.
↑  . 東網. 2017-01-09  [2019-06-25]. （原始内容存档于2020-07-21）.
↑  . BBC. 2017-06-29  [2019-06-25]. （原始内容存档于2020-02-16）.
↑  . 都市日報. 2016-10-14  [2019-06-25]. （原始内容存档于2017-05-04）.
↑  . 都市日報. 2014-07-09  [2019-06-25]. （原始内容存档于2020-07-21）.
↑  . 852郵報. 2015-06-24  [2019-06-25]. （原始内容存档于2020-07-21）.