yuhuanstudio/wikipedia-zh-tw huggingface dataset:
馮五美

馮五美（？），本籍浙江山陰，監生出身，是中國清朝官員，於1740年上任新港巡檢，隸屬於台灣道台灣府，為台灣清治時期的地方官員，該官職主要從事新港之管理事務。

## 參考文獻

- 余文儀編，《續修台灣府志》。
耶律直魯古

耶律直魯古（12世紀1213年），是西遼皇帝耶律夷列的次子，史稱遼末主。

## 生平

### 國勢日衰

直魯古攝政的姑姑承天太后普速完在崇福十四年（1177年）被殺，耶律直魯古即位，改元天喜（遼史記「天禧」，根據出土錢幣或為「天喜」）。政變時他也殺死了他的兄弟，根據志費尼的說法，「他是為了奪得皇位而犧牲的」。

他在位期間西遼逐漸衰敗，為了幫助屬國花剌子模對抗古爾王朝，西遼二次派兵援助花剌子模，然而西遼軍先勝後敗，西遼損失慘重。在古爾王朝覆滅後，以花剌子模為首的眾多屬國也脫離了契丹人的控制；1198年，花剌子模塔乞失攻佔原西喀喇汗國首都布哈拉。1206年，花剌子模的摩訶末沙利用河中地區百姓起義的時機，聯合西喀喇汗反遼，但被西遼打敗。西喀喇汗奧斯曼向耶律直魯古的女兒求婚，但遭到拒絕，於是再轉向花剌子模。1209年，東部的附庸國高昌回鶻殺死西遼的少監投靠成吉思汗。1210年，花剌子模再次出兵攻打西遼，並在怛邏斯附近打敗西遼軍隊，並俘虜了其主帥塔陽古。從此摩訶末沙威名大震。1211年，葛邏祿首領阿爾斯蘭汗投奔成吉思汗。而一向恭順的附庸國東喀喇汗也起兵造反，西遼不得不出兵鎮壓，俘虜了東喀喇汗的首領穆罕默德，並囚禁於虎思斡耳朵，才穩定住局勢。

### 被逼退位

乃蠻王子屈出律於1208年流亡至西遼，遼末主耶律直魯古不僅信任他還將女兒嫁給他。天喜三十四年（1211年），屈出律以伏兵八千擒直魯古，強迫遼末主直魯古讓位，尊他為太上皇，皇后為皇太后。1213年，遼末主直魯古去世。1218年，蒙古攻西遼，殺屈出律，西遼亡。

## 史籍記述

- 《遼史》（卷三十·本紀第三十）：「仁宗次子直魯古即位，改元天禧，在位三十四年。時秋出獵，乃蠻王屈出律以伏兵八千擒之，而據其位。遂襲遼衣冠，尊直魯古為太上皇，皇后為皇太后，朝夕問起居，以侍終焉。直魯古死，遼絕。」
- 《世界征服者史·哈剌契丹的諸汗的興起和他們的衰亡》（第2卷第10章）：「所有的人都討厭菊兒汗的長期統治，憎恨他的稅吏和地方官……他們一反從前的做法，開始作威作福，無法無天。」
天城級巡洋戰艦

天城級戰列巡洋艦（天城型巡洋戦艦）是大日本帝國海軍「八八艦隊」計劃的主力艦之一。

## 概述

天城級戰鬥巡洋艦是在長門級戰列艦的艦體基礎上加裝一座雙聯裝主炮，炮塔布置與加賀級戰列艦相似，可以說是加賀級的輕裝甲快速型，減薄裝甲，舷側裝甲帶採用傾斜式設計，取消了以往日本戰艦水平裝甲延伸到舷側水線以下的「穹甲結構」。副炮全部都在同一層甲板。同型艦原計劃開工建造四艘：天城號、赤城號、愛宕號、高雄號。

根據《華盛頓海軍條約》規定天城級戰列巡洋艦停工，天城號和赤城號按照條約的規定（可以將兩艘未完工的主力艦艦體改建為航空母艦）預備改建成航空母艦，愛宕號、高雄號則中止建造，解體拆毀。愛宕、高雄兩艦名為後來的高雄型重巡洋艦使用。

一號艦天城號艦體在橫須賀工廠改裝過程中於1923年的日本關東大地震中被破壞，龍骨嚴重變形扭曲只得報廢解體，改裝工程由加賀號接替。

二號艦赤城號改建為赤城號航空母艦。

## 同型艦

船名｜製造廠｜建造時間｜服役時間｜結局｜圖片

天城｜橫須賀海軍工廠｜1920年12月16日開工，1921年11月建造中止，1922年12月15日華盛頓條約許可改建，1923年1月8日續建。｜1923年9月於改裝過程中遭受關東大地震破壞，龍骨嚴重變形扭曲只得報廢解體

赤城｜吳市吳海軍工廠｜1920年12月6日～1925年4月22日｜1927年3月27日～1942年6月6日｜1942年6月6日中途島戰役嚴重戰損，處分擊沉

愛宕｜川崎重工業神戶造船所｜1921年11月22日｜1924年中止建造，解體拆毀（艦名轉由1927年動工的高雄級重巡洋艦二號艦使用）

高雄（有一說叫愛鷹）｜長崎市三菱造船所｜1921年12月29日｜原計劃艦名愛鷹。1924年中止建造，解體拆毀（艦名轉由1927年動工的高雄級重巡洋艦一號艦使用）

## 性能數據

- 排水量：標準排水量41,217噸，滿載排水量47,000噸
- 尺寸：全長251.8米，全寬30.8米，吃水9.5米
- 動力：重油專燒鍋爐11個，油煤混燒鍋爐8個，主機功率131,200shp；航速：30節；續航力：8000海里/14節
- 武備：10門雙聯裝410毫米/45倍口徑主炮；16門14厘米/50倍口徑副炮；4門12厘米/45倍口徑高平兩用砲；61厘米口徑魚雷發射管8門
- 裝甲：舷側水線帶127-254毫米，炮塔152-229毫米，司令塔78-350毫米，甲板89-95毫米
尖葉長舌蝠屬

尖葉長舌蝠屬（學名：Lonchophylla），哺乳綱、翼手目、葉口蝠科的一屬，而與尖葉長舌蝠屬（螫長舌蝠）同科的動物尚有鏟齒蝠屬（鏟齒蝠）、窄齒長舌蝠屬（窄齒長舌蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

勃氏長舌蝠｜Lonchophylla bokermanni｜，勃氏長舌蝠(Bokermann's nectar bat)

德氏長舌蝠｜Lonchophylla dekeyseri｜(Dekeyser's nectar bat)

漢氏長舌蝠｜Lonchophylla handlevi｜，韓氏長舌蝠(Handley's nectar bat)

暮色長舌蝠｜Lonchophylla hesperia｜，日落長舌蝠(Western nectar bat)

螫長舌蝠｜Lonchophylla mordax｜(Goldman's nectar bat)

巴拿馬長舌蝠｜Lonchophylla robusta｜，強壯長舌蝠(Orange nectar bat)

托氏長舌蝠｜Lonchophylla thomasi｜(Thomas's nectar bat)

## 基本資料

- 學名：Lonchophylla
- 命名者：Thomas, 1903
- 說明：Lonchophylla robusta
鏟齒蝠屬

鏟齒蝠屬（學名：Platalina），哺乳綱、翼手目、葉口蝠科的一屬，而與鏟齒蝠屬（鏟齒蝠）同科的動物尚有狹葉蝠屬（狹葉蝠）、尖葉長舌蝠屬（螫長舌蝠）、窄齒長舌蝠屬（窄齒長舌蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

鏟齒蝠｜Platalina genovensium｜Thomas, 1928，篦形門齒蝠

## 基本資料

- 學名：Platalina
- 命名者：Thomas, 1928
狹葉蝠屬

狹葉蝠屬（學名：Brachyphylla），哺乳綱、翼手目、葉口蝠科的一屬，而與狹葉蝠屬（狹葉蝠）同科的動物尚有黃花蝠屬（黃花蝠）、鏟齒蝠屬（鏟齒蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

狹葉蝠｜Brachyphylla cavernarum｜Gray, 1834，聖文森短葉果蝠 (Antillean fruit-eating bat)

小狹葉蝠｜Brachyphylla nana｜Miller, 1902，古巴短葉果蝠 (Cuban fruit-eating bat)

## 基本資料

- 學名：Brachyphylla
- parent_authority：Gray, 1866
- 命名者：Gray, 1834
黃花蝠屬

黃花蝠屬（學名：Erophylla），哺乳綱、翼手目、葉口蝠科的一屬，而與黃花蝠屬（黃花蝠）同科的動物尚有花蝠屬（古巴花蝠）、狹葉蝠屬（狹葉蝠）等之數種哺乳動物。

## 下屬物種

- 黃花蝠 (褐葉蝠) Erophylla sezekorni (Gundlach, 1861)
- Erophylla bombifrons (Miller, 1899)

## 基本資料

- 學名：Erophylla
- 命名者：Miller, 1906
花蝠屬

花蝠屬（學名：Phyllonycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與花蝠屬（古巴花蝠）同科的動物尚有長鼻蝠屬（南美長鼻蝠）、黃花蝠屬（黃花蝠）等之數種哺乳動物。

## 下屬物種

花蝠亞屬（Phyllonycteris）

- Phyllonycteris (Phyllonycteris) major Anthony, 1917
- 古巴花蝠 Phyllonycteris (Phyllonycteris) poeyi Gundlach, 1861

亞屬: Reithronycteris

- 牙買加花蝠 Phyllonycteris (Reithronycteris) aphylla (Miller, 1898)

## 基本資料

- 學名：Phyllonycteris
- 命名者：Gundlach, 1861
長鼻蝠屬

長鼻蝠屬（南美長鼻蝠）（學名：Anoura），哺乳綱、翼手目、葉口蝠科的一屬，而與長鼻蝠屬（南美長鼻蝠）同科的動物尚有長吻蝠屬（小長吻蝠）、墨西哥長吻蝠屬（墨西哥長吻蝠）、長舌葉口蝠亞科）、花蝠屬（古巴花蝠）等之數種哺乳動物。

## 下屬物種

- 南美長鼻蝠 (吉氏無尾長舌蝠) - Anoura caudifera (Tailed tailless bat)
- 巴拿馬長鼻蝠 (刀形無尾長舌蝠) - Anoura cultrata (Handley's tailless bat)
- 無尾長鼻蝠 (無尾長舌蝠) - Anoura geoffroyi (Geoffroy's tailless bat)
- 委內瑞拉長鼻蝠 - Anoura latidens (Broad-toothed tailless bat)

## 基本資料

- 學名：Anoura
長吻蝠屬

長吻蝠屬（學名：Choeroniscus），哺乳綱、翼手目、葉口蝠科的一屬，而與長吻蝠屬（小長吻蝠）同科的動物尚有墨西哥長吻蝠屬（墨西哥長吻蝠）、長舌葉鼻蝠屬（長吻長舌葉鼻蝠）、長鼻蝠屬（南美長鼻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

Choeroniscus godmani｜(Thomas, 1903)

Choeroniscus intermedins｜(J.A.Allen & Chapman, 1893)

小長吻蝠｜Choeroniscus minor｜(Peters, 1868)

Choeroniscus periosus｜Handley, 1966

## 基本資料

- 學名：Choeroniscus
- 命名者：Thomas, 1928
墨西哥長吻蝠屬

墨西哥長吻蝠屬（學名：Choeronycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與墨西哥長吻蝠屬（墨西哥長吻蝠）同科的動物尚有長舌葉鼻蝠屬（長吻長舌葉鼻蝠）、長吻長舌蝠屬（長吻長舌蝠）、長吻蝠屬（小長吻蝠）、長鼻蝠屬（南美長鼻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

墨西哥長吻蝠｜Choeronycteris mexicana｜Tschudi, 1844，豬吻長舌蝠

## 基本資料

- 學名：Choeronycteris
- 命名者：Tschudi, 1844
長舌蝠屬

長舌蝠屬（學名：Glossophaga），哺乳綱翼手目葉口蝠科的一屬哺乳動物。

## 下屬物種

本屬包括以下物種：

Glossophaga antillarum｜Rehn, 1902

Glossophaga apolinari｜Allen, 1916

加勒比長舌葉鼻蝠｜Glossophaga commissarisi｜，康氏長舌葉口蝠，科氏長舌蝠

李氏長舌葉鼻蝠｜Glossophaga leachii｜，李氏長舌葉口蝠(Gray long-tongued bat)

長吻長舌葉鼻蝠｜Glossophaga longirostris｜，長吻長舌葉口蝠(Miller's long-tongued bat)

莫氏長舌葉鼻蝠｜Glossophaga morenoi｜(Western long-tongued bat)

鼩形長舌蝠｜Glossophaga soricina｜，鼩形長舌葉口蝠，長舌蝠

## 基本資料

- 說明：科氏長舌蝠 Glossophaga commissarisi
- 學名：Glossophaga
- 命名者：E. Geoffroy, 1818
- 模式種：長舌蝠、Glossophaga soricina
- type_species_authority：(Pallas, 1766)
- subdivision_ranks：種
- 栽培群成員：見正文
長吻長舌蝠屬

長吻長舌蝠屬（學名：Hylonycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與長吻長舌蝠屬（長吻長舌蝠）同科的動物尚有索熱爾長舌蝠屬（白長舌蝠）、長齒長舌蝠屬（暗色長齒長舌蝠）、長舌葉鼻蝠屬（長吻長舌葉鼻蝠）、墨西哥長吻蝠屬（墨西哥長吻蝠）等之數種哺乳動物。

## 下屬物種

- 長吻長舌蝠 (林棲長舌蝠) - Hylonycteris underwoodi Thomas, 1903

## 基本資料

- 學名：Hylonycteris
- 命名者：Thomas, 1903
索熱爾長舌蝠屬

索熱爾長舌蝠屬（白長舌蝠）（學名：Leptonycteris），為哺乳綱、翼手目、葉口蝠科的一屬哺乳動物。

## 下屬物種

- 庫臘索長舌蝠 (庫島細長鼻蝠) Leptonycteris curasoae Miller, 1900
- 白長舌蝠 (騷氏細長鼻蝠) Leptonycteris nivalis (Saussure, 1860)
- Leptonycteris yerbabuenae Martínez & Villa-R., 1940

## 基本資料

- 學名：Leptonycteris
- 命名者：Lydekker, 1891
- 說明：白長舌蝠（Leptonycteris nivalis）
長齒長舌蝠屬

長齒長舌蝠屬（暗色長齒長舌蝠）（學名：Lichonycteris），為哺乳綱、翼手目、葉口蝠科的一屬哺乳動物。

## 下屬物種

本屬包括以下物種：

Lichonycteris degener｜Miller, 1931

暗色長齒長舌蝠｜Lichonycteris obscura｜Thomas, 1895，褐扁長鼻蝠

## 基本資料

- 學名：Lichonycteris
- 命名者：Thomas, 1895
安德列斯長舌蝠屬

安德列斯長舌蝠屬（學名：Monophyllus），哺乳綱、翼手目、葉口蝠科的一屬，而與安德列斯長舌蝠屬（小安德列斯長舌蝠）同科的動物尚有蕉蝠屬（蕉蝠）、鼓頦長舌蝠屬（鼓頦長舌蝠）、長齒長舌蝠屬（暗色長齒長舌蝠）、索熱爾長舌蝠屬（白長舌蝠）等之數種哺乳動物。

## 下屬物種

- 小安德列斯長舌蝠 (巴島長舌蝠) Monophyllus plethodon Miller, 1900
- 牙買加長舌蝠 Monophyllus redmani Leach, 1821

## 基本資料

- 學名：Monophyllus
- 命名者：Leach, 1821
- 說明：Monophyllus redmanii
蕉蝠屬

蕉蝠屬（學名：Musonycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與蕉蝠屬（蕉蝠）同科的動物尚有鼓頦長舌蝠屬（鼓頦長舌蝠）、安德列斯長舌蝠屬（小安德列斯長舌蝠）、長齒長舌蝠屬（暗色長齒長舌蝠）等之數種哺乳動物。

蕉蝠最明顯的特徵是擁有極長的鼻子。它們還有很長的舌頭，可伸長至體長的三分之二。有時它們也會吃昆蟲，並把昆蟲與花粉一起食用。在吸食花蜜時，它們的臉部和頸部的毛髮會沾上一些花粉，而花粉就會傳到它們下一個取食的植物，便能充當植物之間的授粉者。它們會進行短暫的季節性遷移，以尋找有開花的植物。

## 下屬物種

- 蕉蝠 (芭蕉長舌蝠) - Musonycteris harrisoni Schaldach & McLaughlin, 1960

## 基本資料

- 學名：Musonycteris
- 命名者：Schaldach & McLaughlin, 1960
鼓頦長舌蝠

鼓頦長舌蝠（學名：Scleronycteris ega），哺乳綱、翼手目、葉口蝠科的鼓頦長舌蝠屬下的唯一物種。與鼓頦長舌蝠屬（鼓頦長舌蝠）同科的動物尚有、短尾葉鼻蝠屬（短尾葉鼻蝠）、蕉蝠屬（蕉蝠）、安德列斯長舌蝠屬（小安德列斯長舌蝠）等之數種哺乳動物。

## 基本資料

- 學名：Scleronycteris ega
- 狀態：DD
- status_system：IUCN3.1
- 命名者：Thomas, 1912
六月十四

六月十四，農曆六月第十四天。

## 逝世

- 唐德宗建中二年，郭子儀。

## 節假日和習俗

- 文殊菩薩誕辰

## 其他內容

- 十齋日

## 參看

- 日曆
- 六月十二 - 六月十三 - 六月十四 - 六月十五 - 六月十六
- 五月十四 - 六月十四 - 七月十四
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月14日
長腿蝠屬

長腿蝠屬（學名：Natalus），哺乳綱、翼手目、長腿蝠科的一屬。

## 下屬物種

- 麗長腿蝠 (美觀筒耳蝠) - Natalus lepidus (Gervais's funnel-eared bat)
- 牙買加長腿蝠 (小腳筒耳蝠) - Natalus micropus (Cuban funnel-eared bat)
- 墨西哥筒耳蝠 (筒耳蝠) - Natalus stramineus (Mexican funnel-eared bat)
- 巴西長腿蝠 - Natalus tumidifrons (Bahaman funnel-eared bat)
- 腫鼻筒耳蝠 (凸吻筒耳蝠) - Natalus tumidirostris (Trinidadian funnel-eared bat)

## 基本資料

- 學名：Natalus
- 命名者：Gray, 1838
四指蝠屬

四指蝠屬（四指蝠）（學名：Amorphochilus）。

哺乳綱、翼手目、煙蝠科的一屬，而與四指蝠屬（四指蝠）同科的動物尚有煙蝠屬（煙蝠）。

## 下屬物種

- 四指蝠 Amorphochilus schnablii Peters, 1877

## 基本資料

- 學名：Amorphochilus
- 命名者：Peters, 1877
六月十五

六月十五，農曆六月第十五天。

## 大事記

- 順治二年（1645年），多爾袞諭禮部：「向來剃髮之制，不即令畫一，姑令自便者，欲俟天下大定始行此制耳。今中外一家，君猶父也，民猶子也；父子一體，豈可違異？若不畫一，終屬二心……」

## 出生

- 1311年，元武宗至大四年 — 劉基 (伯溫)。
- 1722年，清世宗雍正二年 — 紀昀 (曉嵐)。

## 逝世

- 202年，漢獻帝建安七年 — 袁紹 (本初)。

## 節假日和習俗

- 王靈官聖誕

## 其他內容

- 十齋日

## 參看

- 日曆
- 六月十三 - 六月十四 - 六月十五 - 六月十六 - 六月十七
- 五月十五 - 六月十五 - 七月十五
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月15日
煙蝠屬

煙蝠屬（煙蝠）（學名：Furipterus），哺乳綱、翼手目、葉口蝠科的一屬，而與煙蝠屬（煙蝠）同科的動物尚有四指蝠屬（四指蝠）。

## 下屬物種

- 煙蝠 Furipterus horrens (F. Cuvier, 1828)

## 基本資料

- 學名：Furipterus
- 命名者：Bonaparte, 1837
- 說明：Furipterus horrens
六月十六

六月十六，農曆六月第十六天。

## 逝世

- 1595年（宣祖28年）：慶嬪李氏
- 明神宗萬曆四十四年，湯顯祖。

## 節假日和習俗

- 南極大帝聖誕

## 其他內容

- 閏六月十六(2017年)
- 7 月 28 日 月全食（國內各地月沒帶食）

本次月全食自 01 時 13 分半影食始、02 時 24 分初虧、03 時 30 分食既、05 時 14 分生光、06 時 19 分復圓、07 時 30 分半影食終。全部過程歷經 6 小時又 17 分鐘，其中本影食歷時 3 小時又 55 分鐘。最大本影食分為 1.614。

## 參看

- 日曆
- 六月十四 - 六月十五 - 六月十六 - 六月十七 - 六月十八
- 五月十六 - 六月十六 - 七月十六
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月16日
六月十七

六月十七，農曆六月第十七天。

## 逝世

- 三國曹魏文帝黃初四年，曹彰。

## 參看

- 日曆
- 六月十五 - 六月十六 - 六月十七 - 六月十八 - 六月十九
- 五月十七 - 六月十七 - 七月十七
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月17日
盤翼蝠屬

盤翼蝠屬（學名：Thyroptera），是哺乳綱、翼手目、蝙蝠科的一屬哺乳動物。

## 下屬物種

本屬包括以下物種：

Thyroptera devivoi｜Gregorin, Goncalves, Lim & Engstrom, 2006

盤翼蝠｜Thyroptera discifera｜(Lichtenstein & Peters, 1855)

Thyroptera lavali｜Pine, 1993

†Thyroptera robusta｜Czaplewski, 1997

三色盤翼蝠｜Thyroptera tricolor｜Spix, 1823，拇翼蝠

Thyroptera wynneae｜Velazco, Gregorin, Voss & Simmons, 2014

## 基本資料

- 說明：手繪 Peters's disk-winged bat
- 母公司：2
- parent_authority：Miller 1907
- 學名：Thyroptera
- 命名者：Spix 1823
- subdivision_ranks：種
- 栽培群成員：見正文
- 異名：Hyonycteris Lichtenstein & Peters 1854
六月十八

六月十八，農曆六月第十八天。

## 節假日和習俗

- 池府千歲聖誕

## 其他內容

- 十齋日

## 參看

- 日曆
- 六月十六 - 六月十七 - 六月十八 - 六月十九 - 六月二十
- 五月十八 - 六月十八 - 七月十八
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月18日
子結構

在數學學科模型論中，某個其他模型的子模型或子結構是滿足與最初模型同樣關係的更小的模型。

形式定義如下。設 $M$ 和 $N$ 是同一個語言 $L$ 的兩個模型。我們稱$M$ 是 $N$ 的子模型(通常表示為 M ⊂ N) (等價的說，$N$ 是 $M$的擴展)若且唯若

- $M$ 的域是 $N$ 的域的子集。
- 對於所有 $L$ 的 $n$-元關係符號 $R$，我們有 RM = RN ∩ Mn。
- 對於所有 $L$ 的 $m$-元函數符號 $f$，我們有 $f^M = f^N|M^m \ $。
- 對於所有 $L$ 的常量符號 $c$，我們有 $c^M = c^N \ $。

比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。

在語言的模型的範疇中，子模型將是子對象。
六月十九

六月十九，農曆六月第十九天。

## 逝世

- 五代周世宗顯德六年，後周世宗柴榮。

## 節假日和習俗

- 觀世音菩薩得道紀念日

## 參看

- 日曆
- 六月十七 - 六月十八 - 六月十九 - 六月二十 - 六月廿一
- 五月十九 - 六月十九 - 七月十九
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月19日
六月二十

六月二十，農曆六月第二十天。

## 出生

- 金章宗明昌元年，耶律楚材。

## 逝世

- 唐玄宗開元四年，唐睿宗李旦。
- 明神宗萬曆十年，張居正。

## 參看

- 日曆
- 六月十八 - 六月十九 - 六月二十 - 六月廿一 - 六月廿二
- 五月二十 - 六月二十 - 七月二十
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月20日
第四屆全國人民代表大會

中華人民共和國第四屆全國人民代表大會任期由1975年至1978年，期間只召開過一次全體會議。

## 歷次全體會議

### 第一次會議

中華人民共和國第四屆全國人民代表大會第一次會議於1975年1月13日至17日在北京召開。會議的主要議程是：修改憲法、聽取政府工作報告、選舉和任命國家領導人員。

出席這次大會的代表共2864人，大會選舉了由218名代表組成的主席團。會上，國務院總理周恩來作政府工作報告，張春橋作關於修改憲法的報告，包括修憲廢除國家主席及副主席的職務。

全體代表一致通過了修改後的《中華人民共和國憲法》、廢除中華人民共和國主席及副主席，關於政府工作報告的決議。

會議選舉89歲的朱德為第四屆全國人民代表大會常務委員會委員長，董必武、宋慶齡（女）、康生、劉伯承、吳德、韋國清（壯族）、賽福鼎·艾則孜（維吾爾族）、郭沫若、徐向前、聶榮臻、陳雲、譚震林、李井泉、張鼎丞、蔡暢（女）、烏蘭夫（蒙古族）、阿沛·阿旺晉美（藏族）、周建人、許德珩、胡厥文、李素文（女）、姚連蔚為第四屆全國人民代表大會常務委員會副委員長，常務委員會委員143人。

會議決定，任命周恩來為中華人民共和國國務院總理，鄧小平、張春橋、李先念、陳錫聯、紀登奎、華國鋒、陳永貴、吳桂賢（女）、王震、余秋里、谷牧、孫健為國務院副總理。

此次會議發表的《政府工作報告》是全國人大歷史上篇幅最短的一份《政府工作報告》，也是周恩來總理向大會作的最後一次政府工作報告。考慮到周恩來的晚年健康情況，毛澤東特地指示鄧小平，讓周恩來只講半個小時的報告全文。鄧小平按照毛澤東主席的意見，將報告全文縮短至不到5000字。

## 基本資料

- 年代：1970
- 任期開始：1975年1月
- 任期結束：1978年2月
- 主席團常務主席：朱德、董必武、宋慶齡、康生、劉伯承、吳德、韋國清、賽福鼎·艾則孜、郭沫若、徐向前、聶榮臻、陳雲、譚震林、李井泉、張鼎丞、蔡暢、烏蘭夫、阿沛·阿旺晉美、周建人、許德珩、胡厥文、李素文、姚連蔚
- 委員長：朱德 →空缺
- 四：姬鵬飛
- 組成人員：2864
- 組成人員：143
- 會期始1：1975年1月13日
- 會期終1：1月17日
- 上次會議：第三屆
- 下次會議：第五屆
長腿蝠科

長腿蝠科（學名：Natalidae），又稱筒耳蝠科，是哺乳綱翼手目的一科，包含3屬10種，全部分佈於中南美洲。

## 基本資料

- 說明：墨西哥長腿蝠（Natalus stramineus）
- 學名：Natalidae
- 命名者：Gray, 1866
- 栽培群成員：Chilonatalus、長腿蝠屬 Natalus、Nyctiellus、Primonatalus
吸足蝠屬

吸足蝠屬（吸足蝠），哺乳綱、翼手目、吸足蝠科的一屬。

吸足蝠科，僅1屬1種，即吸足蝠Myzopoda aurita。分布於馬達加斯加島。

## 下屬物種

- 吸足蝠 (吸盤足蝠) - Myzopoda aurita A. Milne-Edwards & A. Grandidier, 1878
- Myzopoda schliemanni Goodman, Rakotondraparany & Kofoky, 2007

## 基本資料

- 學名：Myzopoda
- 命名者：A. Milne-Edwards & A. Grandidier, 1878
- 說明：吸足蝠
彩蝠屬

彩蝠屬（學名：Kerivoula），翼手目蝙蝠科的一屬，而與彩蝠屬同科的動物尚有洞蝠屬（蒼白洞蝠）等之數種哺乳動物。

## 分類

本屬已知22個物種如下：

絨彩蝠｜Kerivoula africana｜Dobson, 1878

管耳彩蝠｜Kerivoula agnella｜Thomas, 1908

銀彩蝠｜Kerivoula argentata｜Tomes, 1861

Kerivoula bicolor｜Thomas, 1904

Kerivoula brasiliensis｜Gray, 1843

Kerivoula crypta｜Wroughton & Ryley, 1913

銅黃彩蝠｜Kerivoula cuprosa｜Thomas, 1912

Kerivoula depressa｜Miller, 1906

Kerivoula dongduongana｜Tu et al., 2018

賊彩蝠｜Kerivoula eriophora｜(Heuglin, 1877)

花彩蝠｜Kerivoula flora｜Thomas, 1914

Kerivoula furva｜Kuo, Soisook, Ho, Csorba, Wang & Rossiter, 2017

哈氏彩蝠｜Kerivoula hardwickii｜(Horsfield, 1824)

婆羅洲彩蝠｜Kerivoula intermedia｜Hill & Francis, 1984

克欽彩蝠｜Kerivoula kachinensis｜Bates, Struebig, Rossiter, Kingston, Sai Sein Lin Oo & Mya Mya, 2004

克勞彩蝠｜Kerivoula krauensis｜Francis, Kingston & Zubaid, 2007

小彩蝠｜Kerivoula lanosa｜(A.Smith, 1847)

柔彩蝠｜Kerivoula lenis｜Thomas, 1916

Kerivoula malpasi｜Phillips, 1932

林彩蝠｜Kerivoula minuta｜Miller, 1898

弗萊彩蝠｜Kerivoula muscina｜Tate, 1941

俾斯麥彩蝠｜Kerivoula myrella｜Thomas, 1914

Kerivoula oreias｜(Temminck, 1840)

丘彩蝠｜Kerivoula papillosa｜(Temminck, 1840)

潔翼彩蝠｜Kerivoula pellucida｜Waterhouse 1854

靈彩蝠｜Kerivoula phalaena｜Thomas, 1912

彩蝠｜Kerivoula picta｜(Pallas, 1767)

Kerivoula pusilla｜Thomas, 1894

奈及利亞彩蝠｜Kerivoula smithii｜Thomas, 1880

泰坦尼亞彩蝠｜Kerivoula titania｜Bates, Struebig, Hayes, Furey, Mya Mya, Thong, Tien, Son, Harrison, Francis & Csorba, 2007

懷氏彩蝠｜Kerivoula whiteheadi｜Thomas, 1894

## 基本資料

- 說明：彩蝠 Kerivoula picta
- 學名：Kerivoula
- 命名者：J. E. Gray, 1842
- 模式種：彩蝠、Kerivoula picta
- type_species_authority：Pallas, 1767
- diversity：約22種
- diversity link：分類
洞蝠屬

洞蝠屬（學名：Antrozous），哺乳綱、翼手目、蝙蝠科的一屬哺乳動物，生存在亞洲。

## 下屬物種

本科包括以下屬：

墨西哥洞蝠｜Antrozous dubiaquercus｜特島穴蝠，(Van Gelder's bat)

蒼白洞蝠｜Antrozous pallidus｜(LeConte, 1856)，穴蝠

## 基本資料

- 學名：Antrozous
- 命名者：H. Allen, 1862
- 說明：蒼白洞蝠（Antrozous pallidus）
- subdivision_ranks：種
- 栽培群成員：見正文
寬耳蝠屬

寬耳蝠屬（學名：Barbastella）是哺乳綱翼手目蝙蝠科下的一屬，共包含三個物種。

## 物種

- 歐洲寬耳蝠（Barbastella barbastellus）
- 北京寬耳蝠（Barbastella beijingensis）
- 亞洲寬耳蝠（Barbastella leucomelas）

## 基本資料

- 學名：Barbastella
- 說明：歐洲寬耳蝠 （Barbastella barbastellus）
蝶蝠屬

蝶蝠屬（學名：Chalinolobus），為哺乳綱、翼手目、蝙蝠科的一屬哺乳動物。

## 下屬物種

- 白斑蝶蝠 - Chalinolobus alboguttatus (Allen's striped bat)
- 銀蝶蝠 - Chalinolobus argentatus (Silvered bat)
- 加彭蝶蝠 - Chalinolobus beatrix (Beatrix's bat)
- 大耳蝶蝠 (大染色葉唇蝠) - Chalinolobus dwyeri (Large-eared pied bat)
- 喀麥隆蝶蝠 - Chalinolobus egeria (Bibundi bat)
- 星蝶蝠 - Chalinolobus gleni (Glen's wattled bat)
- 垂纓蝶蝠 (谷氏葉唇蝠) - Chalinolobus gouldii (Gould's wattled bat)
- 肯亞蝶蝠 - Chalinolobus kenyacola (Kenyan wattled bat)
- 褐蝶蝠 (赭色葉唇蝠) - Chalinolobus morio(Chocolate wattled bat)
- 暗灰蝶蝠 (烏灰葉唇蝠) - Chalinolobus nigrogriseus (Hoary wattled bat)
- 小蝶蝠 (小染色葉唇蝠) - Chalinolobus picalus (Little pied bat)
- 波蝶蝠 - Chalinolobus poensis (Abo bat)
- 傲蝶蝠 - Chalinolobus superbus (Pied bat)
- 隆蝶蝠 (結節葉唇蝠) - Chalinolobus tuberculatus (Long-tailed wattled bat)
- 彩蝶蝠 - Chalinolobus variegatus (Butterfly bat)

## 基本資料

- 學名：Chalinolobus
- 命名者：Peters, 1866
- 說明：垂纓蝶蝠 （Chalinolobus gouldii）
棕蝠屬

棕蝠屬（學名：Eptesicus），為哺乳綱、翼手目、蝙蝠科的一屬哺乳動物。

## 下屬物種

本屬包括以下物種：

貝氏棕蝠｜Eptesicus baverstocki｜(Inland forest bat)

伊朗棕蝠｜Eptesicus bobrinskoi｜，勃氏棕蝠(Bobrinski's serotine)

夜棕蝠｜Eptesicus bottae｜，博塔棕蝠(Botta's serotine)

巴西棕蝠｜Eptesicus brasiliensis｜(Brazilian brown bat)

暗棕蝠｜Eptesicus brunneus｜，褐色棕蝠(Dark-brown serotine)

南非棕蝠｜Eptesicus capensis｜，開普棕蝠(Cape serotine)

Eptesicus chutamasae｜Harrison & Pearch, 2013

翼足棕蝠｜Eptesicus demissus｜，南泰棕蝠(Surat serotine)

南美棕蝠｜Eptesicus diminutus｜，侏儒棕蝠(Diminutive serotine)

黃唇棕蝠｜Eptesicus douglasrum｜(Yellow-lipped bat)

菊黃棕蝠｜Eptesicus flavescens｜，黃色棕蝠(Yellow serotine)

花棕蝠｜Eptesicus floweri｜，蘇丹角皮棕蝠(Horn-skinned bat)

阿根廷棕蝠｜Eptesicus furinalis｜，狂暴棕蝠(Argentine brown bat)

北美大棕蝠｜Eptesicus fuscus｜，大棕蝠(Big brown bat)

瓜達盧佩棕蝠｜Eptesicus guadelupensis｜，瓜島棕蝠(Guadeloupe big brown bat)

小夜棕蝠｜Eptesicus guineensis｜，幾內亞棕蝠(Tiny serotine)

長尾棕蝠｜Eptesicus hottentotus｜(Long-tailed house bat)

和平棕蝠｜Eptesicus inoxius｜，無辜棕蝠(Harmless serotine)

考氏棕蝠｜Eptesicus kobayashii｜(Kobayashi's serotine)

家棕蝠｜Eptesicus melckorum｜，苗氏棕蝠(Melck's house bat)

大鼻棕蝠｜Eptesicus nasutus｜，信德棕蝠(Sind bat)

北棕蝠｜Eptesicus nilssoni｜(Northern bat)

肥耳棕蝠｜Eptesicus pachyotis｜，厚耳棕蝠(Thick-eared bat)

闊面棕蝠｜Eptesicus platyops｜(Lagos serotine)

小棕蝠｜Eptesicus pumilus｜，穴居小棕蝠(Eastern forest bat)

王棕蝠｜Eptesicus regulus｜，王河小棕蝠Southern forest bat)

任氏棕蝠｜Eptesicus rendalli｜，阮氏棕蝠(Rendall's serotine)

冕棕蝠｜Eptesicus sagittula｜，林棲大棕蝠(Large forest bat)

大棕蝠｜Eptesicus serotinus｜(Serotine bat, Serotine)

索馬利亞棕蝠｜Eptesicus somalicus｜，索馬利亞棕蝠(Somali serotine)

泰氏棕蝠｜Eptesicus tatei｜(Sombre bat)

白翼棕蝠｜Eptesicus tenuipinnis｜(White-winged serotine)

鷲棕蝠｜Eptesicus vulturnus｜，林棲小棕蝠(Little forest bat)

## 基本資料

- 學名：Eptesicus
- 命名者：Rafinesque, 1820
- 說明：北棕蝠 （Eptesicus nilssoni）
- subdivision_ranks：亞科
- 栽培群成員：Eptesicus、Rhinopterus
花尾蝠屬

花尾蝠屬（花尾蝠）（學名：Euderma），為哺乳綱、翼手目、蝙蝠科的一屬哺乳動物。

## 下屬物種

- 花尾蝠 (小斑點蝠) - Euderma maculatum J. A. Allen, 1891

## 基本資料

- 學名：Euderma
- 命名者：H. Allen, 1892
胼足蝠屬

胼足蝠屬（胼足蝠）（學名：Eudiscopus），哺乳綱、翼手目、蝙蝠科的一屬哺乳動物。

## 下屬物種

- 胼足蝠 (盤足蝠) - Eudiscopus denticulus Osgood, 1932

## 基本資料

- 學名：Eudiscopus
- 命名者：Conisbee, 1953
基本子結構

在模型論，給定在同一個語言 $L$ 中的兩個結構 $M$ 和 $N$，我們稱 $M$ 是 $N$ 的基本子結構（elementary substructure）有時表示為 $M<N \ $如果

- $M$ 是 $N$ 的子結構，且

- 對於所有有限元組 $a\in M$，對於所有語言 $L$ 的公式 $\varphi(x)$，我們有 $M\models \varphi(a)$ 若且唯若 $N\models \varphi(a)$。

我們稱 $N$ 是 $M$ 的基本擴展若且唯若 $M$ 是 $N$ 的基本子結構。

## 等價條件

有時對第二個條件使用一個等價的陳述。我們可以通過對所有 $m \in M$ 增加一個常量符號 $c_m \ $ 來擴展 $L$ 為一個新語言 $L(M)$。那麼 $M$ 和 $N$ 是解釋每個 $c_m \ $ 為 $m$ 的 $L(M)$ 的結構。

設 $\mathrm{Th}_{L(M)}(M) \ $ 和 $\mathrm{Th}_{L(M)}(N) \ $ 分別是在 $M$ 和 $N$ 中為真的 $L(M)$-句子的集合(稱為它們的「基本圖」)。那麼上述條件 (2) 等價於陳述

$\mathrm{Th}_{L(M)}(M) = \mathrm{Th}_{L(M)}(N) \ $.

塔斯基-沃特測試是給定一對 $M\subset N$，確定 $M$ 是否是 $N$ 的基本子結構的非常有用的必要和充分條件。
短尾葉鼻蝠屬

短尾葉鼻蝠屬（短尾葉鼻蝠），哺乳綱、翼手目、葉口蝠科的一屬，而與短尾葉鼻蝠屬（短尾葉鼻蝠）同科的動物尚有葉吻蝠屬（真葉吻蝠）、鼓頦長舌蝠屬（鼓頦長舌蝠）等之數種哺乳動物。

## 基本資料

- 學名：Carollia
葉吻蝠屬

葉吻蝠屬（學名：Rhinophylla），為哺乳綱翼手目葉口蝠科的一屬哺乳動物。

## 下屬物種

- 真葉吻蝠 (阿列辛侏葉鼻蝠) - Rhinophylla alethina (Hairy little fruit bat)
- 費氏葉吻蝠 (費恩侏葉鼻蝠) - Rhinophylla fischerae (Fischer's little fruit bat)
- 小葉吻蝠 (侏葉鼻蝠) - Rhinophylla pumilio (Dwarf little fruit bat)

## 基本資料

- 學名：Rhinophylla
- 命名者：Peters, 1865
- subdivision_ranks：種
- 栽培群成員：見正文
掠果蝠屬

掠果蝠屬（學名：Ametrida），哺乳綱、翼手目、葉口蝠科的一屬，而與掠果蝠屬（掠果蝠）同科的動物尚有美洲林蝠屬（美洲林蝠）、食果蝠屬（食果蝠）、葉吻蝠屬（真葉吻蝠）等之數種哺乳動物。

## 下屬物種

- 掠果蝠 (刈割蝠) - Ametrida centurio Gray, 1847

## 基本資料

- 學名：Ametrida
- 命名者：Gray, 1847
美洲林蝠屬

美洲林蝠屬（美洲林蝠）（學名：Ardops），哺乳綱、翼手目、葉口蝠科的一屬，而與美洲林蝠屬（美洲林蝠）同科的動物尚有食果蝠屬（食果蝠）、美洲果蝠屬（灰美洲果蝠）、掠果蝠屬（掠果蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

美洲林蝠｜Ardops nichollsi｜(Thomas, 1891)，加勒比樹蝠

## 基本資料

- 學名：Ardops
- 命名者：Miller, 1906
食果蝠屬

食果蝠屬（學名：Ariteus），哺乳綱、翼手目、葉口蝠科的一屬，而與食果蝠屬（食果蝠）同科的動物尚有美洲果蝠屬（灰美洲果蝠）、襞面蝠屬（襞面蝠）、美洲林蝠屬（美洲林蝠）、掠果蝠屬（掠果蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

黃食果蝠｜Ariteus flavescens｜(Gray, 1831)

## 基本資料

- 學名：Ariteus
- 命名者：Gray, 1838
美洲果蝠屬

美洲果蝠屬（學名：Artibeus），哺乳綱、翼手目、葉口蝠科的一屬，而與美洲果蝠屬（灰美洲果蝠）同科的動物尚有襞面蝠屬（襞面蝠）、大眼蝠屬（多毛大眼蝠）、食果蝠屬（食果蝠）、美洲林蝠屬（美洲林蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

Artibeus aequatorialis｜K.Andersen, 1906

蘇利亞果蝠｜Artibeus amplus｜Handley, 1987

安氏美洲果蝠｜Artibeus anderseni｜Osgood, 1916，安氏食果蝠

阿茲特克果蝠｜Artibeus aztecus｜K.Andersen, 1906，阿族食果蝠

Artibeus bogotensis｜K.Andersen, 1906

灰美洲果蝠｜Artibeus cinereus｜(Gervais, 1856)，灰食果蝠

勻色美洲果蝠｜Artibeus concolor｜Peters, 1865，單色食果蝠

流蘇美洲果蝠｜Artibeus fimbriatus｜Gray, 1838

仲美洲果蝠｜Artibeus fraterculus｜Anthony, 1924，和睦食果蝠

銀色美洲果蝠｜Artibeus glaucus｜Thomas, 1893

Artibeus gnomus｜Handley, 1987

哈氏美洲果蝠｜Artibeus hartii｜Thomas, 1892，小食果蝠，為Enchisthenes hartii (Thomas, 1892)的異名

絨毛美洲果蝠｜Artibeus hirsutus｜K.Andersen, 1906，多毛食果蝠

Artibeus inopinatus｜Davis & Carter, 1964

牙買加果蝠｜Artibeus jamaicensis｜Leach, 1821，牙買加食果蝠

Artibeus jatnaicensis｜Leach, 1821

大食果蝠｜Artibeus lituratus｜(Olfers, 1818)，大食果蝠

煙青美洲果蝠｜Artibeus obscurus｜(Schinz, 1821)

幽暗美洲果蝠｜Artibeus phaeotis｜(Miller, 1902)，黑耳食果蝠

扁吻美洲果蝠｜Artibeus planirostris｜(Spix, 1823)，扁吻食果蝠

Artibeus ravus｜(Miller, 1902)

Artibeus rosenbergi｜(Thomas, 1897)

Artibeus schwartzi｜Jones, 1978

中美果蝠｜Artibeus toltecus｜(Saussure, 1860)，托族食果蝠

Artibeus watsoni｜Thomas, 1901

## 基本資料

- 學名：Artibeus
- 命名者：Leach, 1821
- 說明：美洲果蝠
- subdivision_ranks：亞屬
- 栽培群成員：Artibeus、Dermanura
襞面蝠屬

襞面蝠屬（學名：Centurio），哺乳綱、翼手目、葉口蝠科的一屬，而與襞面蝠屬（襞面蝠）同科的動物尚有大眼蝠屬（多毛大眼蝠）、白蝠屬（白蝠）、美洲果蝠屬（灰美洲果蝠）、食果蝠屬（食果蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

襞面蝠｜Centurio senex｜Gray, 1842，格翼蝠

## 基本資料

- 學名：Centurio
- 命名者：Gray, 1842
- subdivision_ranks：種
- 栽培群成員：見正文
大眼蝠屬

大眼蝠屬（學名：Chiroderma），哺乳綱、翼手目、葉口蝠科的一屬，而與大眼蝠屬（多毛大眼蝠）同科的動物尚有白蝠屬（白蝠）、間葉蝠屬（間葉蝠）、襞面蝠屬（襞面蝠）、美洲果蝠屬（灰美洲果蝠）等之數種哺乳動物。

## 下屬物種

本科包括以下屬：

道氏大眼蝠｜Chiroderma dortae｜，多麗手皮蝠(Brazilian big-eyed bat)

瓜德羅普大眼蝠｜Chiroderma improvisum｜，安袋手皮蝠(Guadeloupe big-eyed bat)

沙氏大眼蝠｜Chiroderma salvimi｜，白紋手皮蝠(Salvin's big-eyed bat)

特立尼達大眼蝠｜Chiroderma trinitatum｜，特島手皮蝠(Little big-eyed bat)

多毛大眼蝠｜Chiroderma villosum｜，多毛手皮蝠(Hairy big-eyed bat)

## 基本資料

- 學名：Chiroderma
- 命名者：Peters, 1860
- 說明：沙氏大眼蝠（Chiroderma salvimi）
白蝠屬

白蝠屬（學名：Ectophylla），哺乳綱、翼手目、葉口蝠科的一屬，而與白蝠屬（白蝠）同科的動物尚有間葉蝠屬（間葉蝠）、食花蝠屬（食花蝠）、大眼蝠屬（多毛大眼蝠）、襞面蝠屬（襞面蝠）等之數種哺乳動物。

## 下屬分類

本科包括以下屬：

白蝠｜Ectophylla alba｜(White bat)，白外葉蝠

## 基本資料

- 學名：Ectophylla
- 命名者：H. Allen, 1892
- 說明：哥斯大黎加的白蝠（Ectophylla alba）
間葉蝠屬

間葉蝠屬（學名：Mesophylla），哺乳綱、翼手目、葉口蝠科的一屬，而與間葉蝠屬（間葉蝠）同科的動物尚有食花蝠屬（食花蝠）、白線蝠屬（白線蝠）、白蝠屬（白蝠）、大眼蝠屬（多毛大眼蝠）等之數種哺乳動物。

## 下屬分類

本科包括以下屬：

間葉蝠｜Mesophylla macconnelli｜(Macconnell's bat)

## 基本資料

- 學名：Mesophylla
- 命名者：Thomas, 1901
食花蝠屬

食花蝠屬（學名：Phyllops），哺乳綱、翼手目、葉口蝠科的一屬，而與食花蝠屬（食花蝠）同科的動物尚有白線蝠屬（白線蝠）、尾翼果蝠屬（尾翼果蝠）、間葉蝠屬（間葉蝠）、白蝠屬（白蝠）等之數種哺乳動物。

## 下屬分類

本科包括以下屬：

食花蝠｜Phyllops falcatus｜(Gray, 1839)，古巴葉顔蝠

## 基本資料

- 學名：Phyllops
- 命名者：Peters, 1865
白線蝠屬

白線蝠屬（學名：Platyrrhinus），哺乳綱、翼手目、葉口蝠科的一屬，而與白線蝠屬（白線蝠）同科的動物尚有尾翼果蝠屬（尾翼果蝠）、南美毬果蝠屬（南美毬果蝠）、食花蝠屬（食花蝠）、間葉蝠屬（間葉蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

華麗白線蝠｜Platyrrhinus aurarius｜(Eldorado broad-nosed bat)

短首白線蝠｜Platyrrhinus brachycephatus｜(Short-headed broad-nosed bat)

哥倫比亞白線蝠｜Platyrrhinus chocoensis｜(Choco broad-nosed bat)

側白線蝠｜Platyrrhinus dorsalis｜(Thomas's broad-nosed bat)

海勒白線蝠｜Platyrrhinus helleri｜(Heller's broad-nosed bat)

暗白線蝠｜Platyrrhinus infuscus｜(Buffy broad-nosed bat)

白線蝠｜Platyrrhinus lineatus｜(White-lined broad-nosed bat)

巴西白線蝠｜Platyrrhinus recifinus｜(Recife broad-nosed bat)

隱白線蝠｜Platyrrhinus umbratus｜(Shadowy broad-nosed bat)

大白線蝠｜Platyrrhinus vittatus｜(Greater broad-nosed bat)

## 基本資料

- 學名：Platyrrhinus
- 命名者：Saussure, 1860
尾翼果蝠屬

尾翼果蝠屬（學名：Pygoderma），哺乳綱、翼手目、葉口蝠科的一屬，而與尾翼果蝠屬（尾翼果蝠）同科的動物尚有南美毬果蝠屬（南美毬果蝠）、紅果蝠屬（紅果蝠）、白線蝠屬（白線蝠）、食花蝠屬（食花蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

尾翼果蝠｜Pygoderma bilabiatum｜(Wagner, 1843)

## 基本資料

- 學名：Pygoderma
- 命名者：Peters, 1863
南美毬果蝠屬

南美毬果蝠屬（學名：Sphaeronycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與南美毬果蝠屬（南美毬果蝠）同科的動物尚有紅果蝠屬（紅果蝠）、黃肩蝠屬（黃肩蝠）、尾翼果蝠屬（尾翼果蝠）、白線蝠屬（白線蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

南美球果蝠｜Sphaeronycteris toxophyllum｜Peters, 1882，球葉蝠

## 基本資料

- 學名：Sphaeronycteris
- 命名者：Peters, 1882
紅果蝠屬

紅果蝠屬（學名：Stenoderma），哺乳綱、翼手目、葉口蝠科的一屬，而與紅果蝠屬（紅果蝠）同科的動物尚有黃肩蝠屬（黃肩蝠）、築帳蝠屬（築帳蝠）、南美毬果蝠屬（南美毬果蝠）、尾翼果蝠屬（尾翼果蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

紅果蝠｜Stenoderma rufum｜Desmarest, 1820

## 基本資料

- 學名：Stenoderma
- 命名者：E. Geoffroy, 1818
黃肩蝠屬

黃肩蝠屬（學名：Sturnira），哺乳綱、翼手目、葉口蝠科的一屬，而與黃肩蝠屬（黃肩蝠）同科的動物尚有築帳蝠屬（築帳蝠）、黃耳蝠屬（大黃耳蝠）、紅果蝠屬（紅果蝠）、南美毬果蝠屬（南美毬果蝠）等之數種哺乳動物。

## 下屬物種

黃肩蝠屬的物種如下：

Sturnira adrianae｜Molinari, Bustos, Burneo, Camacho, Moreno & Fermín, 2017

Sturnira angeli｜de la Torre, 1966

哥倫比亞黃肩蝠｜Sturnira aratathomasi｜Peterson & Tamsitt, 1968

厄瓜多黃肩蝠｜Sturnira bidens

Sturnira boadai｜Yánez-Fernández, Marchán-Rivadeneira, Velazco, Burneo, Tinoco & Camacho, 2023

波哥大黃肩蝠｜Sturnira bogotensis｜Shamel, 1927

丹黃肩蝠｜Sturnira erythromos｜(Tschudi, 1844)，基異名：Phyllostoma erythromos Tschudi, 1844

黃肩蝠｜Sturnira lilium｜(E.Geoffroy, 1810)，基異名：Phyllostoma lilium E.Geoffroy, 1810

路氏黃肩蝠｜Sturnira ludovici

秘魯黃肩蝠｜Sturnira luisi

大黃肩蝠｜Sturnira magna

毛足黃肩蝠｜Sturnira mordax

小黃肩蝠｜Sturnira nana

Sturnira sorianoi

托氏黃肩蝠｜Sturnira thomasi

特立尼達黃肩蝠｜Sturnira tildae

## 基本資料

- 學名：Sturnira
- 命名者：Gray, 1842
- subdivision_ranks：種
- 栽培群成員：見正文
築帳蝠屬

築帳蝠屬（學名：Uroderma），哺乳綱、翼手目、葉口蝠科的一屬，而與築帳蝠屬（築帳蝠）同科的動物尚有黃耳蝠屬（大黃耳蝠）、大紋面蝠屬（大紋面蝠）、黃肩蝠屬（黃肩蝠）、紅果蝠屬（紅果蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

Uroderma bakeri｜Mantilla-Meluk, 2014

築帳蝠｜Uroderma bilobatum｜Peters, 1866，尾皮蝠

Uroderma convexum｜Lyon, 1902

Uroderma davisi｜Baker & McDaniel, 1972

大鼻築帳蝠｜Uroderma magnirostrum｜Davis, 1968，大吻尾皮蝠

## 基本資料

- 學名：Uroderma
- 命名者：Peters, 1865
- 說明：Uroderma bilobatum
黃耳蝠屬

黃耳蝠屬（學名：Vampyressa），哺乳綱、翼手目、葉口蝠科的一屬，而與黃耳蝠屬（大黃耳蝠）同科的動物尚有大紋面蝠屬（大紋面蝠）、築帳蝠屬（築帳蝠）、黃肩蝠屬（黃肩蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

雙尖黃耳蝠｜Vampyressa bidens｜(Dobson, 1878)，為Vampyriscus bidens (Dobson, 1878)的異名

布氏黃耳蝠｜Vampyressa brocki｜Peterson, 1968，勃氏黃耳蝠，為Vampyriscus brocki (Peterson, 1968)的異名

Vampyressa elisabethae｜Tavares, Gardner, Ramírez-Chaves & Velazco, 2014

蜜黃耳蝠｜Vampyressa melissa｜Thomas, 1926，蜜蜂黃耳蝠

大黃耳蝠｜Vampyressa nymphaea｜Thomas, 1909，為Vampyriscus nymphaea (Thomas, 1909)的異名

菲黃耳蝠｜Vampyressa pusilla｜(Wagner, 1843)，黃耳蝠

Vampyressa sinchi｜Tavares, Gardner, Ramírez-Chaves & Velazco, 2014

Vampyressa thyone｜Thomas, 1909

Vampyressa villai｜Garbino, Hernández-Canchola, León-Paniagua & Tavares, 2024

Vampyressa voragine｜Morales-Martínez, Rodríguez-Posada & Ramírez-Chaves, 2021

## 基本資料

- 學名：Vampyressa
- 命名者：Thomas, 1900
- 說明：菲黃耳蝠 Vampyressa pusilla
大紋面蝠屬

大紋面蝠屬（學名：Vampyrodes），哺乳綱、翼手目、葉口蝠科的一屬，而與大紋面蝠屬（大紋面蝠）同科的動物尚有吸血蝠屬（吸血蝠）、黃耳蝠屬（大黃耳蝠）、築帳蝠屬（築帳蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

大紋面蝠｜Vampyrodes caraccioli｜(Thomas, 1889)，紋面蝠

Vampyrodes major｜G.M.Allen, 1908

## 基本資料

- 學名：Vampyrodes
- 命名者：Thomas, 1900
- 說明：大紋面蝠 Vampyrodes caraccioli，採集於秘魯
吸血蝠屬

吸血蝠屬（Desmodus）為翼手目葉口蝠科吸血蝠亞科下的一屬，其他分類於同亞科的演化支包括白翼吸血蝠屬及毛腿吸血蝠屬，是以血液為生的新世界蝙蝠。

維德-新維德親王於1826年前往巴西探險時發現了新種Desmodus rufus，並將該新種分類至新屬吸血蝠屬（Desmodus）下做為模式種，然而該模式種於1810年就已經由艾蒂安·弗朗索瓦·若弗魯瓦以學名「Phyllostoma rotundus」發表。

## 分類學

- 吸血蝠亞科 Desmodontinae
- 吸血蝠屬 Desmodus
- 古吸血蝠 Desmodus archaeodaptes
- 德古拉吸血蝠 Desmodus draculae
- 吸血蝠 Desmodus rotundus
- 古巴吸血蝠 Desmodus rotundus puntajudensis（Desmodus puntajudensis）
- 斯托克吸血蝠 Desmodus stocki

## 基本資料

- 說明：吸血蝠（D. rotundus）
- 學名：Desmodus
- 命名者：馬克西米利安王子維德-紐維德, 1826
- 模式種：Desmodus rufus
- subdivision_ranks：種
- 栽培群成員：古吸血蝠 D. archaeodaptes、德古拉吸血蝠 D. draculae、吸血蝠 D. rotundus、斯托克吸血蝠 D. stocki
白翼吸血蝠

白翼吸血蝠屬（白翼吸血蝠），哺乳綱、翼手目、葉口蝠科的一屬，而與白翼吸血蝠屬（白翼吸血蝠）同科的動物尚有毛腿吸血蝠屬（毛腿吸血蝠）、吸血蝠屬（吸血蝠）等之數種哺乳動物。

## 基本資料

- 學名：Diaemus youngi
- 說明：Diaemus youngi
- 狀態：LC
- status_system：IUCN3.1
- parent_authority：Miller, 1906
- 命名者：Jentink, 1893
毛腿吸血蝠屬

毛腿吸血蝠屬（學名：Diphylla）為哺乳綱、翼手目、葉口蝠科的一屬。而與毛腿吸血蝠屬同科的動物有長腿蝠屬（麗長腿蝠）、白翼吸血蝠屬、吸血蝠屬等數種哺乳動物。

## 下屬物種

本屬包括以下物種：

Diphylla centralis｜Thomas, 1903

毛腿吸血蝠 Diphylla ecaudata｜Spix, 1823

## 基本資料

- 學名：Diphylla
- 說明：毛腿吸血蝠 Diphylla ecaudata
- 狀態：LC
- status_system：IUCN3.1
- 命名者：Spix, 1823
美洲葉鼻蝠屬

美洲葉鼻蝠屬（Macrotus），哺乳綱、翼手目、葉口蝠科的一屬，而與美洲葉鼻蝠屬（加州葉鼻蝠）同科的動物尚有南美大耳蝠屬（絨大耳蝠）、美洲矛吻蝠屬（鋸緣矛吻蝠）、長葉蝠屬（長葉蝠）、劍鼻蝠屬（金劍鼻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

加州葉鼻蝠｜Macrotus californicus｜Baird, 1858，加州大葉口蝠

Macrotus californiens｜Baird, 1858

沃氏葉鼻蝠｜Macrotus waterhousii｜Gray, 1843，大葉口蝠

## 基本資料

- 說明：加州葉鼻蝠、(Macrotus californicus)
- 學名：Macrotus
- 命名者：Gray, 1843
南美大耳蝠屬

南美大耳蝠屬（學名：Micronycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與南美大耳蝠屬（絨大耳蝠）同科的動物尚有美洲矛吻蝠屬（鋸緣矛吻蝠）、狹面矛吻蝠屬（狹面矛吻蝠）、美洲葉鼻蝠屬（加州葉鼻蝠）、長葉蝠屬（長葉蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

貝氏大耳蝠｜Micronycteris behni｜(Behni's big-eared bat)

短耳大耳蝠｜Micronycteris brachyotis｜(Yellow-throated big-eared bat)

達氏大耳蝠｜Micronycteris davies｜(Davies's big-eared bat)

絨大耳蝠｜Micronycteris hirsuta｜(Hairy big-eared bat)

巴西大耳蝠｜Micronycteris megalotis｜(Little big-eared bat)

侏大耳蝠｜Micronycteris minuta｜(White-bellied big-eared bat)

尼氏大耳蝠｜Micronycteris nicefordi｜(Niceforo's big-eared bat)

哥倫比亞大耳蝠｜Micronycteris pusilla｜(Least big-eared bat)

中美大耳蝠｜Micronycteris schmidtorum｜(Schmidts's big-eared bat)

棕褐大耳蝠｜Micronycteris sylvestris｜(Tri-colored big-eared bat)

## 基本資料

- 學名：Micronycteris
- 命名者：Gray, 1866
美洲矛吻蝠屬

美洲矛吻蝠屬（學名：Mimon），哺乳綱、翼手目、葉口蝠科的一屬，而與美洲矛吻蝠屬（鋸緣矛吻蝠）同科的動物尚有狹面矛吻蝠屬（狹面矛吻蝠）、矛吻蝠屬（矛吻蝠）、南美大耳蝠屬（絨大耳蝠）、美洲葉鼻蝠屬（加州葉鼻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

葛氏矛吻蝠｜Mimon bennetti｜(Gray, 1838)，貝奈特尖耳蝠(Golden bat)

Mimon cozumelae｜Goldman, 1914

鋸緣矛吻蝠｜Mimon crenulatum｜，鋸齒尖耳蝠(Striped hairy-nosed bat)，為Gardnerycteris crenulatum (E.Geoffroy, 1803)的異名

Mimon koepckeae｜Gardner & Patton, 1972，為Gardnerycteris koepckeae (Gardner & Patton, 1972)的異名

## 基本資料

- 學名：Mimon
- 命名者：Gray, 1838
- subdivision_ranks：種
- 栽培群成員：見正文
狹面矛吻蝠屬

狹面矛吻蝠屬（學名：Phylloderma），哺乳綱、翼手目、葉口蝠科的一屬，而與狹面矛吻蝠屬（狹面矛吻蝠）同科的動物尚有矛吻蝠屬（矛吻蝠）、圓耳蝠屬（圓耳蝠）、美洲矛吻蝠屬（鋸緣矛吻蝠）、南美大耳蝠屬（絨大耳蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

狹面矛吻蝠｜Phylloderma stenops｜Peters, 1865，葉皮蝠

## 基本資料

- 學名：Phylloderma
- 命名者：Peters, 1865
矛吻蝠屬

矛吻蝠屬（學名：Phyllostomus）是哺乳綱翼手目葉口蝠科的一屬，而與矛吻蝠屬（矛吻蝠）同科的動物尚有圓耳蝠屬（圓耳蝠）、纓唇蝠屬（纓唇蝠）、狹面矛吻蝠屬（狹面矛吻蝠）、美洲矛吻蝠屬（鋸緣矛吻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

蒼白矛吻蝠｜Phyllostomus discolor｜Wagner, 1843，淡色葉口蝠(Pale spear-nosed bat)

細長矛吻蝠｜Phyllostomus elongatus｜(E.Geoffroy, 1810)，細長葉口蝠(Lesser spear-nosed bat)

矛吻蝠｜Phyllostomus hastatus｜(Pallas, 1767)，葉口蝠(Greater spear-nosed bat)

側葉矛吻蝠｜Phyllostomus latifolius｜(Thomas, 1901)，偏葉葉口蝠(Guianan spear-nosed bat)

## 基本資料

- 學名：Phyllostomus
- 命名者：Lacépède, 1799
- 說明：蒼白矛吻蝠 Phyllostomus discolor
圓耳蝠屬

圓耳蝠屬（學名：Tonatia），哺乳綱、翼手目、葉口蝠科的一屬，而與圓耳蝠屬（圓耳蝠）同科的動物尚有纓唇蝠屬（纓唇蝠）、美洲假吸血蝠屬（美洲假吸血蝠）、矛吻蝠屬（矛吻蝠）、狹面矛吻蝠屬（狹面矛吻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

Tonatia bakeri｜Williams, Willig & Reid, 1995

圓耳蝠｜Tonatia bidens｜(Spix, 1823)，斯氏圓耳蝠(Greater round-eared bat)

巴西圓耳蝠｜Tonatia brasiliensis｜(Pygmy round-eared bat)

卡氏圓耳蝠｜Tonatia carrikeri｜(J.A.Allen, 1910)，(Carriker's round-eared bat)，為Lophostoma carrikeri (J.A.Allen, 1910)的異名

中美圓耳蝠｜Tonatia evotis｜(Davis's round-eared bat)

Tonatia maresi｜Williams, Willig & Reid, 1995

Tonatia saurophila｜Koopman & Williams, 1951

許氏圓耳蝠｜Tonatia schulzi｜Genoways & Williams, 1980，舒氏圓耳蝠(Schultz's round-eared bat)，為Lophostoma schulzi (Genoways & Williams, 1980)的異名

林棲圓耳蝠｜Tonatia silvicola｜(d'Orbigny, 1836)，(White-throated round-eared bat)，同模異名為：Lophostoma silvicola d'Orbigny, 1836

## 基本資料

- 學名：Tonatia
- 命名者：Gray, 1827
纓唇蝠屬

纓唇蝠屬（學名：Trachops），哺乳綱、翼手目、葉口蝠科的一屬，而與纓唇蝠屬（纓唇蝠）同科的動物尚有美洲假吸血蝠屬（美洲假吸血蝠）、圓耳蝠屬（圓耳蝠）、矛吻蝠屬（矛吻蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

纓唇蝠｜Trachops cirrhosus｜(Spix, 1823)，基異名：Vampyrus cirrhosus Spix, 1823

## 基本資料

- 學名：Trachops
- 命名者：Gray, 1847
美洲假吸血蝠

美洲假吸血蝠（學名：Vampyrum spectrum），屬哺乳綱翼手目葉口蝠科，也是美洲假吸血蝠屬的唯一物種，棲息於墨西哥、中美洲及南美洲。其同科近親有窄齒長舌蝠屬（窄齒長舌蝠）、纓唇蝠屬（纓唇蝠）、圓耳蝠屬（圓耳蝠）等之數種。

美洲假吸血蝠為新大陸上最大型的蝙蝠，同時也是最大型的肉食性蝙蝠，翼展可達 0.7-1.0m。具有粗壯的頭顱與牙齒，可以透過強大的咬合力殺死獵物，多半以鳥類、囓齒類、昆蟲或其他蝙蝠為食。

和其他大部分的蝙蝠不同，美洲假吸血蝠為單配偶制，群體由一頭成年雄性與一頭成年雌性及牠們的後代所組成，雄性負責將食物帶回巢穴餵養群體，多半位於樹洞之中。由於數量稀少加上棲息地破壞的威脅，美洲假吸血蝠已被國際自然保護聯盟標為近危物種。

## 描述

美洲假吸血蝠為新大陸上最大型的蝙蝠，同時也是世界上最大行的肉食性蝙蝠。翼展可達 0.7-1.0m，前臂長度為 101-110mm，拇指長 21.4-22.2mm，上面具有類似貓的彎曲利爪。全身體長可達 135–147mm，體重約為 134-189g。

總體來說，美洲假吸血蝠的頭顱骨類似於縮小版的犬科或熊科頭顱骨

美洲假吸血蝠的腦相對於身體來說偏大（1:67），其腦部身體質量比甚至較貓狗還高。

## 基本資料

- 說明：頭部特寫
- 狀態：NT
- status_system：IUCN3.1
- 屬：Vampyrum
- parent_authority：Rafinesque, 1815
- 物種：spectrum
- 命名者：Linnaeus, 1758
窄齒長舌蝠屬

窄齒長舌蝠屬（學名：Lionycteris），哺乳綱、翼手目、葉口蝠科的一屬，而與窄齒長舌蝠屬（窄齒長舌蝠）同科的動物尚有尖葉長舌蝠屬（螫長舌蝠）、鏟齒蝠屬（鏟齒蝠）、美洲假吸血蝠屬（美洲假吸血蝠）等之數種哺乳動物。

## 下屬物種

本屬包括以下物種：

窄齒長舌蝠｜Lionycteris spurrelli｜Thomas, 1913，平滑長舌蝠

## 基本資料

- 學名：Lionycteris
- 命名者：Thomas, 1913
水中血戰

水中血戰（Кровь в бассейне，Melbourne-i vérfürdő，意為「墨爾本血浴」）是水球歷史上最具爭議的著名比賽，指的是1956年12月6日1956年夏季奧林匹克運動會上，匈牙利男子水球隊與蘇聯男子水球隊爭奪水球決賽席位的一場比賽。比賽以匈牙利隊4:0完勝蘇聯隊告終，賽中多位球員大打出手，導致血流滿面。

「水中血戰」之名取自媒體拍攝匈牙利水球員扎多爾·埃爾溫在血戰之後右眼角流血之場景。比賽發生於匈牙利十月事件之後不久。

## 背景

1956年10月23日布達佩斯發生了一場20萬人的大規模集會，目的是反對蘇聯扶持的匈牙利勞動人民黨政府。在外界看來，此事可能會導致匈牙利脫離蘇聯的控制。11月1日開始，蘇聯裝甲部隊入侵匈牙利，並在11月4日至11月10日這段時間內，聯合空軍、炮兵等鎮壓了這場運動。

起義當時，匈牙利水球隊正在布達佩斯的一個山地訓練營受訓。他們能夠聽見槍聲並看見硝煙升起。這支隊伍即將參加墨爾本夏季奧運會，此時離奧運會開幕只剩下不到兩個月的時間，他們迅速越過國境進入捷克斯洛伐克以免捲入事變。直到這些隊員們最後到達澳大利亞的時候，他們才得以了解事變程度之劇，他們都非常焦急地等待親友的消息。

## 奧運會

### 匈牙利水球隊

奧運會開始的時候，這場運動已經被殘酷地鎮壓了。這個時候，很多隊員將奧運會看成了挽救國家尊嚴的機會。「我們覺得我們打球不僅僅是為了我們自己，更為了我們的整個國家。」扎多爾在賽後如是說。此時，國際社會也開始覺察到蘇聯對待匈牙利起義的異常殘酷行為，匈牙利奧運隊伍無論在哪裡比賽都伴隨著觀眾熱烈的歡呼。著名的「水中血戰」比賽開始的時候，一群狂熱的觀眾——被逐出國外的匈牙利人——簇擁著前來觀看，這群人幾天前剛觀看了匈牙利拳手保普·拉斯洛在拳擊賽場上贏得他的第三塊金牌。

### 當天比賽

從一開始，比賽就呈現白熱化局面，大量拳打腳踢的身體接觸不斷出現。匈牙利明星隊員扎多爾打入兩球，引起了觀眾的熱烈歡呼。以4:0領先進入最後時段，扎多爾因被瓦連京·普羅科波夫打中而被迫退出比賽。扎多爾的受傷突破了情緒早已激化的觀眾人群的最後一絲忍耐。為了避免騷亂爆發，比賽的最後一分鐘被取消，警察進入比賽場地驅散觀眾人群。扎多爾受傷的照片被各大報紙發往全世界，從而引出了「水中血戰」的名字，儘管報導「水球館的水都被血染紅」的說法有誇張的修辭成分。

### 之後比賽

匈牙利人繼續在決賽中以2:1擊敗了南斯拉夫並且贏得了他們奧運會上的第四枚金牌。奧運會後，100人的匈牙利奧運代表團中，有一半人逃往西方國家。

## 相關藝術創作

2006年，為紀念匈牙利十月事件50周年，紀錄片《自由的怒吼》（Freedom's Fury）發行，以告訴人們這場比賽的故事。該片由劉玉玲和昆廷·塔倫蒂諾製片，兩人稱之為「聽到過的最好的故事」。馬克·施皮茨在片中講述了這個故事，扎多爾曾是他青少年時的教練。
勒文海姆–斯科倫定理

在數理邏輯中，經典勒文海姆–斯科倫定理（Löwenheim–Skolem theorem）聲稱對於標識（signature）為 $<\mathbf{C}, \mathbf{F}, \mathbf{R}, \sigma>$ 的任何可數一階邏輯語言 L 和 L-結構 M，存在一個可數無限基本子結構 N $\subseteq$ M。

這個定理的自然和有用的推論是所有一致的 L-理論都有可數的模型。

這裡的標識由常量集合 $\mathbf{C}$、函數集合 $\mathbf{F}$、關係符號集合 $\mathbf{R}$、和表示函數和關係符號的元數的函數 $\sigma: \mathbf{F} \cup \mathbf{R} \rightarrow \mathbb{N}$ 組成。在這個上下文中 L-結構，由底層集合(經常指示為「M」)和 L 的函數和關係符號的釋義組成。L 的常量在 M 中的釋義就是 M 的成員。類似的，$\sigma(f) \ $-元函數 $f \in \mathbf{F}$ 被指派為 M 中的 $\sigma(f) \ $-元函數 $M^{\sigma(f)} \rightarrow M$ 的圖，而$\sigma(R) \ $-元關係 $R \in \mathbf{R}$ 的釋義被指派為 M 中的 $\sigma(R) \ $-元關係。語言 L 是可數的，如果在 L 中的常量、函數和關係符號是可數的。

## 例子

一個周知的不可數模型是所有實數的集合，帶有次序關係 "<" 作為唯一的關係，和加法與乘法作為函數。有序域的公理是一階句子；最小上界公理不是一階的而是二階的。這個定理蘊涵了實數域的某個可數無限的子域，因此不同於實數域，但滿足了實數域所滿足的所有一階句子。(作為可數的有序域，它不能滿足最小上界公理)。例如，特定多項式方程有解(在這個模型中)的斷言是一階句子，因此在斷言了其存在的可數子模型中是真的，若且唯若它在實數域中是真的。

數學家考慮的多數數學結構，特別是多數範疇的多數成員，是這裡定義意義上的模型。勒文海姆–斯科倫定理告訴我們如果它們是不可數的，它們不能被任何一階句子的集合唯一性的選取出來。

## 證明梗概

對於在模型 M 中為真的如下形式的一階句子

$$\forall x\ \exists y\ R(x,y)$$

或

$$\forall x_1\ \cdots\ \forall x_n\ \exists y_1\ \cdots\ \exists y_m R(x_1,\dots,x_n,y_1,\dots,y_m)$$

有一個Skolem 函數 f，就是說映射 x 到斷言了其存在的 y 的函數，使得

$$\forall x\ R(x,f(x))$$

在 M 中為真。因為有很多這樣的 y 的值，必須啟用選擇公理來推出 Skolem 函數的存在。

這個模型的某些成員可以直接用一階公式來定義，就是說，它們的存在被如下形式的句子所斷言

$$\exists y_1\ \cdots\ \exists y_m R(y_1,\dots,y_m)$$

並且因為只有可數多個一階公式，只有可數多個成員可以用這種方式直接定義。

證明的想法是: 開始於這個模型的所有一階可定義成員的集合，並接著在所有 Skolem 函數下閉合它。這個閉包必定最多是可數無限的。這個模型的子集是這個定理斷言了其存在的子模型。

## 更一般的 "勒文海姆–斯科倫定理"

上述定理假定了有限或可數無限的語言。更一般的勒文海姆–斯科倫定理做其他有關基數的假定。類似於這個經典定理的某些定理，斷言更小的子模型的存在(「向下」勒文海姆–斯科倫定理)；其他一些斷言更大基數的模型的存在(「向上」勒文海姆–斯科倫定理)。

## 勒文海姆-斯科倫定理在一階邏輯中的定義和證明

勒文海姆-斯科倫定理: 如果 $\Delta$ 是一個含有有限可數個數的命題組成的集合，並且集合 $\Delta$ 是可以滿足的($\Delta$ SAT),那麼至少存在一個模型(或叫作指派，或叫作解釋 (Interpretation)) 用符號記作 I, $I \models \Delta$ ,且這個模型 I 指派解釋也是可數的

證明:

前提:在語言集合L中如果我們有一個可滿足式的有限可數命題公式的集合 $\Delta$，且$\phi \in \Delta$,$\phi$是$\Delta$中的命題公式

如果我們有一個集合，用字母記作 S ,並且 $S = \bigcup_{\phi \in \Delta} CL(\phi)$，其中集合 $CL(\phi)$是由命題公式$\phi$轉換成子句結構(Clause)所組成的集合，我們有一個定理(記作Th): 如果$\psi$是可滿足式的(Satisfaisable)公式，若且唯若Clause($\psi$)也是可滿足式的，通過這個定理，我們確保S是可滿足的，並且也是可數的

如果我們有一個基於語言集合L的等價公理集合，記作$E_=$(該集合是為了用於Skolemisation方法中,也就是$\phi$在轉化成Clause($\phi$)過程中，去除有限量詞$\exist$的方法Skolemisation,化為Skolem範式)

那麼很顯然 $S\bigcup E_=$ 也是可滿式的集合，那麼 $IF( S\bigcup E_=)$ 同樣是可滿足的

由於語言集合L中的元素是可數的 所以$IF( S\bigcup E_=)$ 是也是有限可數的集合

如果我們有一個模型，記作 I 且 $I \models IF( S\bigcup E_=)$,赫爾不蘭特定理(Theoreme de Herbrand)告訴我們如果我們要構造一個模型M,並且$M \models S\bigcup E_=$，那麼模型M的模型解釋指派域(記作)D是一個以I(t)為元素的指派域(其中t是在S中的所有的項)，那麼模型M是通過Congurence關係來解釋指派等價性關係(Egalite)

由於我們說語言理合L是可數的，那麼指派解釋域D也是可數的

那麼我們可以構造另一個模型M'，並且基於解釋域 $D/M_=$(我們通過等價關係來指派解釋等價性)且$M'\models S$,那麼M'必然也是可數的，那麼根據Th定理，$M'\models S$ ,那麼我們就可以說 $M'\models \Delta$

所以我們證明了勒文海姆-斯科倫定理

## 引用

- Wilfrid Hodges (1997), "A Shorter Model Theory", Cambridge University Press, ISBN 0521587131
- María Manzano (1999), "Model Theory", Oxford University Press, ISBN 0198538510
- Rothmaler, Philipp (2000), "Introduction To Model Theory", CRC
建寧戰鬥

建寧戰鬥發生於1934年5月13日，地點則是在中國福建北部。是第一次國共內戰主要戰鬥之一。該戰鬥交戰一方為中華民國國民革命軍，另一方則為中國共產黨所領導之中國工農紅軍。

## 參考文獻

- 中華民國國防大學編，《中國現代軍事史主要戰役表》

## 基本資料

- 屬於：第一次國共內戰
- 日期：1934年5月13日
- 地點：中國福建北部
- 結果：共軍退至寧化
- 參戰方一：中華民國國民革命軍88師孫元良部、5師謝溥福部、6師周碞部、79師樊菘甫部
- 參戰方二：中國共產黨紅軍1軍團林彪部、3軍團彭德懷部、5軍團董振堂部、7軍團蕭勁先部
- 指揮官一：孫元良、謝溥福、周碞
- 指揮官二：林彪、彭德懷、董振堂、蕭勁先
章射基

章射基（？），本籍浙江會稽，吏員出身，中國清朝官員。於1747年上任新港巡檢，隸屬於台灣道台灣府，為台灣清治時期的地方官員，該官職主要從事新港之管理事務。

## 參考文獻

- 余文儀編，《續修台灣府志》。
永安戰鬥

永安戰鬥發生於1934年5月5日－10日，地點則是在中國福建永安（今永安市）。是第一次國共內戰主要戰鬥之一。該戰鬥交戰一方為中華民國國民革命軍，另一方則為中國共產黨所領導之中國工農紅軍。

## 參考文獻

- 中華民國國防大學編，《中國現代軍事史主要戰役表》

## 基本資料

- 屬於：第一次國共內戰
- 日期：1934年5月5日－10日
- 地點：中國福建永安
- 結果：雙方各傷亡二百餘人
- 參戰方一：中華民國國民革命軍9縱隊劉和鼎部、52師盧興邦部、80師陳祺部
- 參戰方二：中國共產黨紅軍7軍團蕭勁先部
- 指揮官一：劉和鼎、盧興邦、陳祺
- 指揮官二：蕭勁先
張炯 (政治人物)

張炯（？），本籍順天，供事出身，清朝官員，於1757年上任新港巡檢，隸屬於台灣道台灣府，為台灣清治時期的地方官員，該官職主要從事新港之管理事務。

## 參考文獻

- 余文儀編，《續修台灣府志》。
章誠

章誠，本籍浙江，吏員出身，是中國清朝官員，於1760年上任新港巡檢，隸屬於台灣道台灣府，為台灣清治時期的地方官員，該官職主要從事新港之管理事務。

該官職最終於1761年裁撤，而該年章誠同時升任諸羅縣斗六門巡檢。

## 參考文獻

- 余文儀編，《續修台灣府志》。
徐坦 (清朝)

徐坦，本籍安徽天長，捐納出身，清朝官員，於1763年上任諸羅縣斗六門巡檢，隸屬於台灣道台灣府，為台灣清治時期的地方官員，該官職主要從事新港之管理事務。

## 參考文獻

- 余文儀編，《續修台灣府志》。
第一屆全國人民代表大會

中華人民共和國第一屆全國人民代表大會是中華人民共和國成立後的首個全國人民代表大會任期，任期由1954年至1959年。與會者被稱為全國人大代表，總共1226人，其中包括177名少數民族的代表，147名婦女代表，其中中共黨員668人，占54.48％。

## 歷次全體會議

### 第一次會議

中華人民共和國第一屆全國人民代表大會第一次會議（1954年9月15日—9月28日，北京中南海懷仁堂），代表總人數1226人（其中女代表147人，少數民族代表178人）。除了領導人物之外，基本上都是來自工農兵三個領域的底層人民，據出席此次會議的第一屆全國人大代表申紀蘭回憶，這其中，農民又占很大比例；大家的文化知識水平都很低、甚至還有好多人不識字、或完全不能理解「人民代表大會」的真正含義。中央人民政府主席毛澤東致開幕詞，劉少奇作《關於中華人民共和國憲法草案的報告》，中央人民政府政務院總理周恩來作《政府工作報告》。會議通過中華人民共和國歷史上第一部憲法——《中華人民共和國憲法》；通過了《關於政府工作報告的決議》、《中華人民共和國全國人民代表大會組織法》、《中華人民共和國國務院組織法》、《中華人民共和國人民法院組織法》、《中華人民共和國人民檢察院組織法》、《中華人民共和國地方各級人民代表大會和地方各級人民委員會組織法》、《關於中華人民共和國現行法律、法令繼續有效的決議》；選舉毛澤東為中華人民共和國主席，朱德為副主席，根據毛澤東的提名，決定周恩來為中華人民共和國國務院總理（這次會議上，原中央人民政府政務院改為中華人民共和國國務院）。

候選人｜政黨｜得票｜當選

票數｜得票率

中華人民共和國主席｜毛澤東｜1,210｜100.00%

中華人民共和國副主席｜朱 德｜1,210｜100.00%

1954年9月27日，會議選舉產生了第一屆全國人民代表大會常務委員會。

### 第二次會議

中華人民共和國第一屆全國人民代表大會第二次會議（1955年7月5日—7月30日，北京），會議代表1118人。李富春作《關於發展國民經濟第一個五年計劃的報告》，李先念作《關於1954年國家決算和1955年國家預算的報告》，彭德懷作《關於中華人民共和國兵役法草案的報告》，彭真作《全國人大常委會工作報告》，鄧子恢作《關於根治黃河水害和開發黃河水利的綜合規劃的報告》，陳雲作《關於糧食的統購統銷問題》的報告。周恩來總理作《目前國際形勢和中國外交政策》的發言，提出簽訂亞洲和太平洋地區集體和平公約的建議。同時，在《目》的發言中，有關於台灣問題的政策主張。周恩來在會議上宣稱：「願意在可能的條件下，爭取用和平的方式解放台灣。只要美國不干涉中國的內政，和平解放台灣的可能性將會持續增長，如果可能的話，中國政府願意同台灣地方的負責當局協商和平解放台灣的具體步驟。」大會還通過《中華人民共和國發展國民經濟的第一個五年計劃（1953－1957）》、1954年國家決算和1955年國家預算、《關於根治黃河水害和開發黃河水利的綜合規劃的決議》、《中華人民共和國兵役法》、《關於授權常務委員會制定單行法規的決議》、關於撤銷熱河省、西康省並修改中華人民共和國地方各級人民代表大會和地方各級人民委員會組織法第二十五條第二款第一項規定的決議；關於撤銷燃料工業部、設立煤炭工業部、電力工業部、石油工業部、農產品採購部，並修改中華人民共和國國務院組織法第二條第一款條、文的決議。同時，會議還補選了常委會委員。

### 第三次會議

中華人民共和國第一屆全國人民代表大會第三次會議（1956年6月15日—6月30日，北京），會議代表1041人。李先念作《關於1955年國家決算和1956年國家預算的報告》，廖魯言作關於《高級農業生產合作社示範章程（草案）》的說明，彭真作《全國人大常委會工作報告》。會議期間陳雲作商業工作與工商關係問題的發言，李維漢作關於統一戰線的發言，周恩來作關於目前國際形勢、中國外交政策和解放台灣問題的發言。會議批准1955年國家決算和1956年國家預算，通過了《高級農業生產合作社示範章程》、關於全國人大常委會工作報告的決議、關於修改《地方各級人民代表大會和地方各級人民委員會組織法》第二十五條第二款第四項第五項規定的決議。會議還通過了這次會議的提案審查意見，同時，會議還補選了常委會委員。

### 第四次會議

中華人民共和國第一屆全國人民代表大會第四次會議（1957年6月26日—7月15日，北京），會議代表1079人。國務院總理周恩來作《政府工作報告》和《關於中緬邊界問題的報告》，彭真作《全國人大常委會工作報告》，李先念作《關於1956年國家決算和1957年國家預算草案的報告》，薄一波作《關於1956年度國民經濟計劃的執行結果和1957年度國民經濟計劃草案的報告》，張鼎丞作關於1956年以來檢察工作情況的報告》，董必武《關於最高人民法院工作報告》，烏蘭夫《關於建立廣西壯族自治區和寧夏回族自治區的報告》。會議批准各項工作報告。批准1956年國家決算，修正批准1957年國家預算，批准1957年度國民經濟計劃、批准中緬邊界問題的報告，通過關於第二屆全國人大代表選舉問題的決議、關於成立廣西壯族自治區和寧夏回族自治區的決議、關於死刑案件由最高人民法院判決或者核准的決議。同時，會議還補選了常委會委員。

### 第五次會議

中華人民共和國第一屆全國人民代表大會第五次會議（1958年2月1日—2月11日，北京），會議代表1015人。國務院總理周恩來作目前國際形勢和中國外交政策的報告，李先念《關於1957年國家預算執行情況和1958年國家預算草案的報告》、薄一波作《關於1958經濟計劃草案的報告》，吳玉章作《關於當前文字改革工作和漢語拼音方案的報告》。會議通過關於全國人大常委會工作報告的決議，原則批准1957年國家預算執行情況，修正批准1958年國家預算，批准1958國民經濟計劃。通過《關於漢語拼音方案的決議》，批准《漢語拼音方案》，原則同意關於當前文字改革和漢語拼音方案的報告；通過關於調整國務院所屬組織機構的決定；會議決定若干國務院組成人員的任免；通過關於將直轄市天津市改為河北省省轄市的決議和關於中國科學院院長、副院長任免問題的決議。會議還補選了程潛為全國人大常委會副委員長和常委會委員。

## 參見

- 第一屆國會（1913年－1925年）
- 第一屆國民大會（1948年－1991年）
- 中國人民政治協商會議全體會議：中國人民政治協商會議第一屆全體會議（1949年－1954年）
- 第一屆全國人民代表大會代表名單、常務委員會、各專門委員會
- 中華人民共和國中央人民政府（1949年－1954年） → 第一屆國務院（1954年－1959年）
- 中國共產黨第七屆中央委員會 → 第八屆中央委員會

## 基本資料

- 年代：1950
- 任期開始：1954年9月
- 任期結束：1959年4月
- 主席團常務主席：劉少奇、宋慶齡、林伯渠、李濟深、張瀾、羅榮桓、沈鈞儒、郭沫若、黃炎培、彭真、李維漢、陳叔通、達賴喇嘛·丹增嘉措、賽福鼎
- 委員長：劉少奇
- 一：彭真
- 組成人員：1226
- 組成人員：65
- 會期始1：1954年9月15日
- 會期終1：9月28日
- 會期始2：1955年5月5日
- 會期終2：7月30日
- 會期始3：1956年6月15日
- 會期終3：6月30日
- 會期始4：1957年6月26日
- 會期終4：7月15日
- 會期始5：1958年2月1日
- 會期終5：2月11日
- 上次會議：政協第一屆
- 下次會議：第二屆
連城戰鬥

連城戰鬥發生於1934年5月13日－20日，地點則是在中國福建連城。是第一次國共內戰前期主要戰鬥之一。該戰鬥交戰一方為中華民國國民革命軍，另一方則為中國共產黨所領導之中國工農紅軍。

## 參考文獻

- 中華民國國防大學編，《中國現代軍事史主要戰役表》

## 基本資料

- 屬於：第一次國共內戰
- 日期：1934年5月13日－20日
- 地點：中國福建連城
- 結果：國軍得空軍支援，攻佔連城
- 參戰方一：中華民國國民革命軍4縱隊李延年部、3師李玉堂部、9師李延年部、52師盧興邦部
- 參戰方二：中國共產黨紅軍7軍團蕭勁先部
- 指揮官一：4縱隊李延年、3師李玉堂、9師李延年
- 指揮官二：蕭勁先
白水頭陂戰鬥

白水頭陂戰鬥發生於1934年7月10日，地點則是在中國江西石城。是第一次國共內戰主要戰鬥之一。該戰鬥交戰一方為中華民國國民革命軍，另一方則為中國共產黨所領導之中國工農紅軍。

## 參考文獻

- 中華民國國防大學編，《中國現代軍事史主要戰役表》

## 基本資料

- 屬於：國共內戰
- 日期：1934年7月10日
- 地點：中國江西石城
- 結果：雙方傷亡五百餘人、國軍89師佔領白水
- 參戰方一：中華民國國民革命軍5縱隊羅卓英部、11師黃維部、14師霍揆章部、67師傅仲芳部、94師李樹森部、10縱隊湯恩伯部、88師孫元良、89師王仲廉部
- 參戰方二：中國共產黨紅軍15師陳光部、1軍團林彪部、9軍團羅炳輝部
- 指揮官一：羅卓英、黃維、霍揆章、王仲廉等
- 指揮官二：陳光、林彪、羅炳輝
貫橋戰鬥

貫橋戰鬥發生於1934年8月5日－7日，地點則是在中國江西石城。是國共內戰前期主要戰鬥之一。該戰鬥交戰一方為中華民國國民革命軍，另一方則為中國共產黨所領導之中國工農紅軍。

## 參考文獻

- 中華民國國防大學編，《中國現代軍事史主要戰役表》

## 基本資料

- 屬於：國共內戰
- 日期：1934年8月5日－7日
- 地點：中國江西石城
- 結果：國軍攻擊共軍，共軍強固工事固守，激戰3日，國軍攻下貫橋
- 參戰方一：中華民國國民革命軍左縱隊湯恩伯部、4師冷欣部、88師孫元良部、89師王仲廉部
- 參戰方二：中國共產黨紅軍第三軍團部、4及5師、34師
- 指揮官一：湯恩伯、冷欣、孫元良
- 指揮官二：彭德懷、周永安
- strength1：數萬
- strength2：萬餘
- 傷亡一：1300
- 傷亡二：3000
拉普拉塔平原

拉普拉塔平原（Cuenca del Plata）是南美洲第二大平原，由拉布拉他河沖積形成，位於南美洲東南部。其西面是安地斯山脈，北面和南面分別是巴西高原和巴塔哥尼亞高原，東南臨大西洋，總面積150萬平方公里，自北向南跨越玻利維亞、阿根廷、巴拉圭、烏拉圭四國，其中60%的面積在阿根廷境內。拉普拉塔平原的北部稱為大查科平原，南部稱為彭巴草原。
東歐平原

東歐平原位於歐洲東部，面積近400萬平方公里，是世界上最大的平原。範圍北起北冰洋，南至黑海、裏海之濱；東起烏拉爾山，西至波羅的海，平均海拔170米。東歐平原大部分在俄羅斯境內，因此又稱為俄羅斯平原、歐俄平原。它是歐亞草原，尤其是欽察荒原的延伸。俄羅斯烏拉爾山以西部分、愛沙尼亞、拉脫維亞、立陶宛、白俄羅斯、烏克蘭等國都在這片波狀平原上。平原的最高點位於瓦爾代丘陵，海拔 346.9m。

東歐平原有海拔300-400米的瓦爾代丘陵、中俄羅斯高地、伏爾加河沿岸丘陵等，並有低于洋面的裏海低地。自北向南有苔原、森林、森林草原和草原帶。裏海北岸為半荒漠和沙漠。平原南部地形較平坦。以流水侵蝕作用為主，沖溝、平谷地貌比較發育。平原上有伏爾加河、頓河和第聶伯河等著名大河。

由於地形波浪起伏，面積廣大，各地的氣候並不相同，動植物分布的差異也很大。從北向南，依次是嚴寒的苔原帶、比較寒冷的森林帶、氣候適中的森林草原帶、最南邊的草原帶。其中森林帶占了平原面積一半以上。

東歐平原上煤、鐵、石油、錳等資源豐富，如世界著名的頓巴次煤田、庫爾斯克和克里沃羅格鐵礦區、尼科波爾錳礦區、第二巴庫油田。人口稠密，工農業和水陸交通發達，以莫斯科為中心，分布許多重要工礦區，為俄羅斯心臟地帶。

## 其他主要地貌

以下主要地貌特徵位於東歐平原內（通常從北到南列出）。

- 俄羅斯北部低地
- 波羅的高地
- 白俄羅斯嶺
- 庫馬-馬內奇盆地
- 布古利馬-別列別伊高地
- Vyatskie Uvaly

## 外部鏈接

- 東歐平原 - Ukrainian Soviet Encyclopedia
- 東歐平原 - 蘇聯大百科全書
燕京戎

燕京戎，是由先秦華夏人群分裂出來的先秦戎狄部落的一支，活躍於商朝末期，曾與周人發生戰爭。其居住地區在今中華人民共和國山西省北部之內。

## 歷史

據《竹書記年》，燕京之戎曾與周人作戰，擊敗季歷率領的軍隊。

《後漢書》將他們列入犬戎之中，為西羌先祖之一。

## 學術考證

中華民國學者錢穆認為，燕京戎與西落鬼戎、太原戎等皆是指犬戎。

中華人民共和國學者楊寬認為「從今山西靜樂周圍，南下沿汾水兩岸，直到祁縣以西鄔縣以北，兩百多里都是燕京戎所在地區。」（楊寬《西周史》）

雷學淇認為燕京戎在太原汾陽的燕京山。
北德平原

北德平原（Norddeutsches Tiefland；Nizina Północnoniemiecka）又稱中歐平原，指的是中歐地勢平坦的區域，橫跨荷蘭、德國與波蘭北部以及丹麥。北臨波羅的海和北海，南接中歐山地，西起萊茵河口，東至波蘭東部；東西長約1000公里，南北寬約200－500公里，總面積約30萬平方公里。在歐洲它僅次於東歐平原，略大於西歐平原，在歐亞大陸中排名第五。

## 氣候

平原氣候溫和，1月均溫-4~-1℃，7月18℃。年降水量500－800毫米；平原由西向東降水逐漸減少，氣溫年較差逐漸變大。地面平坦，地勢南高北低，東高西低，海拔介於50～100米之間西部有些地區在海平面以下。

## 地質

平原內河網縱橫，且有較長結冰期，多湖泊、沼澤與丘陵。農牧業發達，農產品以黑麥、甜菜為主，畜牧業發達。但土壤並不肥沃，多沙礫與碎石，因為波德平原地貌與第四紀冰川作用緊密相關。而由於玉木冰川只出現在易北河以東地區，因此以易北河為界東西兩部分的地貌特徵有明顯的差異。西部冰磧地貌並不顯著，為起伏和緩的低平原，由沿海向內陸大致可分為低地帶、砂質平原帶。東部地區冰磧地貌保存較好，由沿海向內陸大致可分為砂丘帶、底磧平原帶、終磧丘陵帶、冰水平原帶和黃土帶。

德國和波蘭人口密集，但人口自然增長率極低，甚至出現負增長。
Futex

futex（fast userspace mutex，快速使用者區互斥的簡稱）是一個在Linux上實現鎖定和構建高級抽象鎖如信號量和POSIX互斥的基本工具。它們第一次出現在內核開發的2.5.7版；其語義在2.5.40固定下來，然後在2.6.x系列穩定版內核中出現。

Futex是由Hubertus Franke（IBM Thomas J. Watson 研究中心）, Matthew Kirkwood，Ingo Molnar（Red Hat）和 Rusty Russell（IBM Linux 技術中心）等人創建的。

Futex由一塊能夠被多個進程共享的記憶體空間（一個對齊後的整型變量）組成；這個整型變量的值能夠通過彙編語言調用CPU提供的原子操作指令來增加或減少，並且一個進程可以等待直到那個值變成正數。Futex的操作幾乎全部在使用者空間完成；只有當操作結果不一致從而需要仲裁時，才需要進入作業系統內核空間執行。這種機制允許使用futex的鎖定原語有非常高的執行效率：由於絕大多數的操作並不需要在多個進程之間進行仲裁，所以絕大多數操作都可以在應用程式空間執行，而不需要使用（相對高代價的）內核系統調用。

## 外部連結

- Futex manpages
- Futexes Are Tricky (PDF，11 pages), a paper explaining futexes and how to use them（Ulrich Drepper of Red Hat）
沙頭角公路

沙頭角公路（Sha Tau Kok Road）是香港早期興建的公路之一，連接新界粉嶺及沙頭角，全長10.5公里，由馬會道至香園圍公路一段為雙程四線分隔車道（至坪輋路一段為路政署於1995年至1999年間所擴建，至香園圍公路一段為土木工程拓展署香園圍管制站附屬工程而於2013-2018年擴建），其餘路段為雙程雙線道路。沙頭角公路主要分作4段，起始是龍躍頭段（粉嶺鐵路站至流水響）、馬尾下段（高埔至大塘湖）、禾坑段（萊洞至麻雀嶺）以及石涌凹段（鹽灶下至沙頭角邊境檢查站）。

沙頭角公路是繼青山公路和大埔公路後，香港政府興建的第三條主要公路，於1927年正式通車。公路的通車，使當時九廣鐵路的沙頭角支線於1年後的1928年停辦。

沙頭角公路大部分路段限速為50公里，但禾坑一段限速達70公里，現因道路工程而改為50公里，而沙頭角過境車輛現轉用香園圍公路往大埔、沙田、香港島和九龍各區。

## 連接道路

### 龍躍頭段

- 粉嶺車站路
- 新運路
- 馬會道
- 粉嶺樓路
- 樂業路
- 聯安街
- 馬適路
- 安居街
- 龍馬路
- 道揚路
- 流水響道

### 馬尾下段

- 坪輋路
- 香園圍公路
- 禾徑山路

### 石涌凹段

- 鹿頸路
- 山咀村路
- 沙河路

沙頭角檢查站

- 順興街
- 順隆街

## 鄰近地方

- 粉嶺消防局
- 粉嶺樓
- 安樂村工業區
- 聯和墟
- 逸峯
- 新圍軍營
- 前皇后山軍營（皇后山邨及山麗苑）
- 馬料水新村
- 軍地
- 孔嶺
- 南涌
- 鹿頸
- 沙頭角診所
- 沙頭角農莊
- 沙頭角公路－龍躍頭段西端夜景
- 沙頭角公路－龍躍頭段西端與新運路交界的迴旋處
- 沙頭角公路－石涌凹段
- 沙頭角診所

## 基本資料

- 地點：Hong Kong
- 英文街道名稱：Sha Tau Kok Road
- 圖片說明：沙頭角公路龍躍頭段
- 道路長度：10.9
- 車速限制：50
- 車道數：4線雙程（每個方向2線）、（馬會道至香園圍公路一段）、2線雙程（每個方向1線）、（其餘路段）
- 所在地區：新界東北區
- 起點：粉嶺新運路
- 終點：沙頭角順隆街
- 命名日期：1970年2月13日
- 命名文件：1970年2月13日第372號憲報
- 通車日期：1927年
- 票價區間：yes
- zoom：11
- stroke-width：1.5
聯合道

聯合道（Junction Road）是香港九龍西的主要道路之一，連接九龍塘、九龍仔及九龍城，途中經過樂富。道路由西至窩打老道近歌和老街交界、香港浸會醫院以南，南至九龍城太子道西322號為止，全長約2公里。聯合道窩打老道至竹園道一段為三線分隔行車，其餘路段到太子道西都是單線來回行車。

聯合道九龍東軍營段最為繁忙，車輛及人群都在此段聯合道往來。很多人從香港浸會大學往來九龍塘站。近延文禮士道有一處香港三級歷史建築的寮屋區石屋家園，鄰近香港兆基創意書院，對面則座落香港法定古蹟九龍城侯王廟。南段近九龍城可說是市中心及住宅區的分界。

## 事件

2006年11月因聯合道近窩打老道爆水渠，導致東向行車線全部封閉，車輛要使用禧福道再往聯福道再返回聯合道。事件使九龍塘交通混亂，歌和老街，多實街，德雲道等地都出現車龍，到晚上情況有改善。

## 交匯道路

按門牌號碼順序列出：

- 界限街
- 太子道西
- 衙前圍道
- 賈炳達道
- 東寶庭道
- 東頭村道
- 延文禮士道
- 杏林街
- 橫頭磡東道
- 富安街
- 竹園道
- 廣播道
- 聯福道
- 金城道
- 窩打老道

## 沿線建築物

- 嘉諾撒聖家學校，聯合道102號
- 九龍寨城公園，聯合道／東頭村道交界東南面
- 九龍城侯王廟及美東邨，聯合道／東頭村道交界東北面
- 何家園石屋，聯合道／東頭村道交界西北面
- 香港兆基創意書院，聯合道135號
- 香港華人基督教聯會大樓，聯合道140號
- 香港華人基督教聯會九龍墳場聯合道140號。
- 藝術與科技教育中心，聯合道145號
- 樂富廣場，聯合道198號
- 橫頭磡賽馬會診所，聯合道200號
- 聯合道公園，聯合道／富安街交界以西
- 九龍國際浸信會，聯合道300號
- 香港浸會大學逸夫行政樓
- 九龍東軍營，聯合道／金城道交界以南
- 建新中心，聯合道302號
- 香港華人基督教聯會大樓的出入口
- 九龍城侯王廟

## 途經/附近的公共運輸服務

交通路線列表

- 港鐵
- 港鐵、港鐵：九龍塘站
- 港鐵：樂富站
- 巴士

## 基本資料

- 地點：Hong Kong
- 英文街道名稱：Junction Road
- 圖片說明：俯瞰聯合道近聯福道
- 道路長度：2
- 車道數：3線雙程（太子道西至延文禮士道一段）、2線雙程（延文禮士道至廣播道一段）、4線雙程（廣播道至窩打老道一段）
- 所在地區：九龍城區、黃大仙區
- 起點：太子道西
- 終點：窩打老道
虞希舜

虞希舜，出生於台灣台北，為知名電腦象棋「將族」的程式設計師。現為台灣知名電腦遊戲軟體公司光譜資訊的董事長兼總經理。

## 簡歷

虞希舜從事AI人工智慧,韌體,BIOS及益智遊戲的設計工作。

1988年，他參加宏碁電腦與象棋協會舉辦的第一屆電子計算機象棋大賽，以花了四個月時間開發的《象棋大師》程式獲得冠軍並擊敗當時的象棋神童蔡澄宇。1989年，以前作為基礎改寫的《特級大師》再度獲得第二屆比賽的冠軍。同年8月，參加英國倫敦第一屆電腦奧林匹克大賽，在象棋組獲得金牌。

1991年，他成立光譜資訊，並且以《特級大師》為基礎改良的《將族》電腦象棋遊戲公開發行。
六月十三

六月十三，農曆六月第十三天。

## 出生

- 西魏文帝大統七年，隋文帝楊堅。

## 逝世

- 清德宗光緒二十六年，聶士成。
- 東晉成帝咸和九年，陶侃。

## 節假日和習俗

魯班先師誕

## 參看

- 日曆
- 六月十一 - 六月十二 - 六月十三 - 六月十四 - 六月十五
- 五月十三 - 六月十三 - 七月十三
- 正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 臘月
- 公曆6月13日
王崴

王崴（1975年3月16日－2005年9月24日），本名王曉春，網路作家、影評人。畢業於南開大學，曾就職於外交部、國家民委和中央電視台電影頻道。各種作品超過100萬字。
華倫提努

瓦倫廷（希臘語：Οὐαλεντῖνος；約公元100–180年）是早期基督教諾斯替主義神學家中最著名的其中一位，且曾一度成為最成功的人物。他在羅馬創立了自己的學派。根據特土良的說法，瓦倫廷曾是主教候選人，但在落選後便開始發展自己的團體。不過此記載被普通認為是為了詆毀瓦倫廷而設的。

瓦倫廷著述頗豐，但僅有殘篇存世，大多是其批評者在駁斥性著作中引用的片段，難以詳細重建其思想體系，僅能勾勒大致輪廓。他的學說又通過其門徒——瓦倫廷派——所發展並修改後的形式為人所知。他教導說存在三種人：屬靈的、屬魂的和屬物質的；只有那些具有屬靈本性的人才能獲得使他們回歸神聖佩雷若瑪的靈知，而具有屬魂本性的人（普通基督徒）將獲得較低或不確定形式的救贖，至於具有屬物質本性的人則註定滅亡。

瓦倫廷擁有大量追隨者，即瓦倫廷派 (Valentinians)。該派後來分裂為東方支派和西方（或稱義大利）支派。馬可派屬於西方支派。

## 生平

由於欠缺可靠的史料，我們對瓦倫廷本人的生平所知有限。大部份有關瓦倫廷本人生平的資料，都是來自他的批評者的記載。

### 早期教育

瓦倫廷生於埃及沿海地區，並在當時羅馬帝國第二大都城亞歷山卓接受良好的希臘教育。於亞歷山卓求學期間，他很可能接觸到當時在那裡任教的早期基督教諾斯底派導師巴西利德 (活躍於公元117至161年)或其學說，並因此而受其影響。

亞歷山卓的革利免記載，瓦倫廷的追隨者說瓦倫廷是狄奧達斯 (Theudas)的追隨者，而狄奧達斯又是使徒保羅的追隨者。

據瓦倫廷現存的著作殘篇顯示，他書寫語言優美，注重節奏韻律，獲哲學家諾登(E. Norden) 稱讚其為「基督教與希臘文化融合」的典範。即使是批判他學說的特土良(公元150年—230年) 及耶柔米(約公元342年—420年)，亦稱讚他才華洋溢，口才出眾，且擁有令人驚嘆的思維能力。按瓦倫廷現架的殘篇內容而論，他在思想上受柏拉圖主義影響。如在革利免著作中所保留的瓦倫廷殘篇中，瓦倫廷把靈性的理念世界、永恆不變的個體與受制於時間及變數、可變的經驗世界作對比，而這個經驗世界正是完美的理念世界不完美的反照。這些學說都充滿了柏拉圖主義的意味，特土良更明確指出其柏拉圖主義傾向。

### 教學及著述

瓦倫廷早於亞歷山卓期間就開始從事教學。他在教宗伊琪在任期間(公元136-140年)到達羅馬，並留在該處直到教宗啟德的任期(公元150年或157年就任)，據估計他在羅馬活動了至少十五年。據薩拉米斯的伊皮法紐斯（Epiphanius of Salamis，約公元310–403年）《駁異端大全》中記載，瓦倫廷隨後離開羅馬，並前往賽普勒斯繼續教學。

以他為名的學說其後蓬勃發展，成為學派 (瓦倫廷派)。據愛任紐在《駁異端》形容，當時有大量諾斯底主義著作(瓦倫廷派是諾斯底主義其中重要一脈)，可以相信瓦倫廷在羅馬期間，積極地從事教學及著述事業。

## 瓦倫廷主義

縱使瓦倫廷學派是當時最為人知的諾斯底主義群體，但他本人的學說與以他為名的學說之間(即瓦倫廷派的學說，或稱瓦倫廷主義)的關係並不十分清析，存在爭議。有觀點認為瓦倫廷本人的學說與瓦倫廷派的學說存在差異，而瓦倫廷派的學說更趨近諾斯底主義，甚至是徹底的諾斯底主義。相反，瓦倫廷本人可能只屬帶有柏拉圖主義的正統基督教派神學家，而非真正的諾斯底主義者。然而，目前並無文獻顯示瓦倫廷學派中的追隨者曾反對瓦倫廷派本人或其學說，故而就目前已知的，瓦倫廷學派的追隨者是師承自瓦倫廷並發展其學說。而事實上，要把瓦倫廷本人的學說從瓦倫廷學派的瓦倫廷主義中分離基本上並不可能。

### 宇宙論

據與瓦倫廷同時期而稍晚的愛任紐在其著說《駁異端》中所描述，在華倫提努的學說體系中，存在著一個完美又先於萬物的「移湧」(Aeons )，並透過「成雙成對」(Syzygy)的流溢(Emanation)，創造了萬物。

#### 原始四元組（The First Tetrad）：

一切的起源是那永恆而不生、不可言說和不能被理解的「移湧」—「深淵」(Bythus/Propator)。「深淵」在永遠的永恆中已經存在，並在永恆中保持沉默和寂靜。於是「寂靜」(Sige/Ennoea) 從永遠的永恆中開始便已經和「深淵」一起存在。

最終，「深淵」決定施行創造，於是它令它的伴侶「寂靜」懷孕，由此誕下「心靈」(Nous，亦稱獨生者 Monogenes)。「心靈」與「深淵」既相似又平等，是唯一知道「深淵」是「父」的「移湧」，亦是唯一能真正領悟「父」之偉大者。「真理」(Aletheia)亦與「心智」同時出現，並且互為伴侶。這四者構成了萬物的根源，被稱作原始四元組。

#### 次級四元組與八元組的完成：

「心靈」既知道「父」的偉大，亦知道自己被造的目的就是施行創造，於是它和伴侶「真理」流溢出「道」(Logos)和「生命」(Zoe)，而「道」與「生命」又進一步產生了「人」（Anthropos）與「教會」（Ecclesia）。(需注意的是，這裡的「人」和「教會」並非指現實中的人和教會，而是「人」的原始概念和「教會」— 一班有資格被救贖的人所形成的群體的原始概念。)

#### 「十元組」、「十二元組」和「豐盛」（Pleroma）的擴張

「道」與「生命」隨後流溢出「十元組」(Decad)；「人」與「教會」則流溢出「十二元組」(Duodecad）。這「八元組」加「十元組」加「十二元組」、總共三十個「移湧」共同構成了神聖的「豐盛(界)」(Pleroma)。唯有「心靈」樂於仰望「父」，並思考如何將「父」的偉大向其他「移湧」揭示。但按「父」的旨意，「寂靜」約束了「心靈」。所以除了「心靈」、「寂靜」和「深淵」自身，其他「移湧」並不了解「父」。

#### 索菲亞的越界

三十個「移湧」中最年輕的那一個是被稱作「索菲亞」的「智慧」(Sophia)。它從「人」與「教會」從流溢出來，是「十二元組」最晚出現的，與「完美」(Theletus) 成對。索菲亞羨慕「心靈」能領悟「父」的偉大，但「寂靜」卻阻止了「心靈」啟示出「父」，這讓「索菲亞」產生了瘋狂的渴求。她因企圖僭越自身位分去理解那不可知的「父」，而產生了「情慾」（Pathos），並莽求與「父」結合。這種因無知、恐懼與憂傷而生的「情慾」，使「豐盛界」產生了震盪。

為了防止整個「豐盛界」因「索菲亞」的紊亂而消解，「父」透過「心靈」以自己的形象創造了荷羅斯（Horos），一種被稱為「界限」或「十字架」的力量，並將索菲亞穩定下來。索菲亞艱難地恢復了理智，確信天父是不可理解的，於是放棄了最初的計劃，也放棄了那因無比崇敬而生的激情。索菲亞那因「情慾」而生的「無定形物質」 (Achamoth/ Enthymesis)，被荷羅斯從「豐盛界」中割裂並被拋棄出去。在離開「豐盛界」後，「無定形物質」，有時被稱為「下界索菲亞」或索菲亞·阿卡莫斯（Sophia Achamoth）) 便成為物質界萬物的源頭。

## 基本資料

- 原文名：Οὐαλεντῖνος
- 姓名：瓦倫廷 (Valentinus)
- 出生日期：約公元100年
- 出生地：埃及沿海地區
- 主要領域：宇宙論，創造論, 救贖論, 人論
- 影響（來源）：柏拉圖, 巴西利德, Theudas
- 地區：亞歷山卓(埃及), 羅馬
- 學派：早期基督教諾斯替教派, 瓦倫廷主義
- 著名學生：Heracleon, Ptolemy, 馬可, 巴戴桑
- 逝世日期：約公元180年
- 著名思想：一元論諾斯替主義, 三元人性論
網切

網切（あみきり）是日本流傳的妖怪之一。也叫做網剪。

## 概述

根據鳥山石燕的「畫圖百鬼夜行」(1776)的記載，網切有著鳥喙一般尖尖的嘴，像螃蟹一樣具備強而有力的大螯，像蝦子一樣弓著背。在蚊蟲肆虐的夏季裡，網切會潛入臥房用尖銳的大螯將防蚊的蚊帳剪破。