stanford-oval/wikipedia huggingface dataset:
除我們的主外沒有別神
禮儀中

在晨禱（英语：）結束時，有時會唱《除我們的主外沒有別神》。以色列以外的阿什肯納茲传统中，僅在安息日、节日及附加禱告（英语：）結束，制作圣殿熏香的塔木德课程之前，唱《除我們的主外沒有別神》。然而，以色列的绝大多数阿什肯納茲社区，及塞法迪和哈西迪社群，在每日晨祷中，都唱《除我們的主外沒有別神》。  其他地区传统中，也在礼拜仪式外的其他場合使用《除我們的主外沒有別神》，  一些正統犹太會堂里，會默誦《除我們的主外沒有別神》，不视为祈祷禮儀的重要组成部分。
讚美詩祷文的一种解释是，其中的20句禱文中的每一句都算作一种祝福。而犹太人受塔木德劝告每天須至少做100次祝福。在平日， 猶太十八禱（英语：）能滿足需求。然而，安息日和节日裡則否，故《除我們的主外沒有別神》能確保做到100次祝福。
祷文中使用上帝四个不同的名字：
上帝（希伯來語：‎，羅馬化：Elohim）
主（希伯來語：‎，羅馬化：Adon）
王（希伯來語：‎，羅馬化：Melekh）
救主/默西亞（希伯來語：‎，羅馬化：Moshia）
順序与《妥拉》相同。  卡巴拉認為上帝個四个名字是四种不同的神圣品质。
文本

| 希伯来语原始 | 拉丁字母 | 译文 |
| --- | --- | --- |
|  אין כאלהינו, אין כאדונינו   אין כמלכנו, אין כמושיענו.  מי כאלהינו, מי כאדונינו,   מי כמלכנו, מי כמושיענו.  נודה לאלהינו, נודה לאדונינו,   נודה למלכנו, נודה למושיענו.  ברוך אלהינו, ברוך אדונינו,   ברוך מלכנו, ברוך מושיענו.  אתה הוא אלהינו, אתה הוא אדונינו,   אתה הוא מלכנו,   אתה הוא מושיענו. | Ein kelohenu, ein kadonenu,   ein kemalkenu, ein kemoshi'enu.  Mi chelohenu, mi chadonenu,   mi chemalkenu, mi chemoshi'enu.  Node lelohenu, node ladonenu,   node lemalkenu, node lemoshi'enu,  Baruch Elohenu, baruch Adonenu,   baruch Malkenu, baruch Moshi'enu.  Atah hu Elohenu, atah hu Adonenu,   atah hu Malkenu,   atah hu Moshi'enu. | 除我們的神外沒有別神  除我們的主外沒有別主  除我們的王外沒有別王  除我們的救主外沒有救主  誰像我們的神  誰像我們的主  誰像我們的王  誰像我們的救主  稱謝我們的神  稱謝我們的主  稱謝我們的王  稱謝我們的救主  蒙福我們的神  蒙福我們的主  蒙福我們的王  蒙福我們的救主  祢是我們的神  祢是我們的主  祢是我們的王  祢是我們的救主 |
| ° אתה הוא שהקטירו אבותינו לפניך   את קטרת הסמים.  °° אתה תושיענו.   אתה תקום תרחם ציון,   כי עת לחננה כי בא מועד. | ° Atah hu shehiqtiru abotenu, lefanecha,   eth qetoreth hasamim.  °° Ata toshi'enu.  Ata taqum terachem tziyon, ki   'et lechen'nah, ki ba mo'ed. | ° 在祢面前，  我們的先祖焚香  °° 祢將拯救我們  你將顯現，向錫安施慈愛  這是她蒙恩的時候，這是適當的時候  終必到來 |
塞法迪版本

在许多塞法迪裔的会众中，會使用或參雜猶太西班牙語唱《除我們的主外沒有別神》。
| 希伯來語 | 拉丁字母 |
| --- | --- |
 נון קומו מואישטרו דיו, נון קומו מואישטרו שינייור,    נון קומו מואישטרו ריאי, נון קומו מואישטרו שלבֿדור.  קיין קומו מואישטרו דיו, קיין קומו מואישטרו שינייור,    קיין קומו מואישטרו ריאי, קיין קומו מואישטרו שלבֿדור.  לוארימוס אה מואישטרו דיו, לוארימוס אה מואישטרו שינייור,    לוארימוס אה מואישטרו ריאי, לוארימוס אה מואישטרו שלבֿדור.  בנדיגֿו מואישטרו דיו, בנדיגֿו מואישטרו שינייור,    בנדיגֿו מואישטרו ריאי, בנדיגֿו מואישטרו שלבֿדור.  טו סוס מואישטרו דיו, טו סוס מואישטרו שינייור,    טו סוס מואישטרו ריאי, טו סוס מואישטרו שלבֿדור.: Non komo muestro Dyo, non komo muestro Senyor,    Non komo muestro Rey, non komo muestro Salvador.  Kien komo muestro Dyo, kien komo muestro Senyor,    Kien komo muestro Rey, kien komo muestro Salvador.  Loaremos a muestro Dyo, Loaremos a muestro Senyor,    Loaremos a muestro Rey, Loaremos a muestro Salvador.  Bendicho muestro Dyo, Bendicho muestro Senyor,    Bendicho muestro Rey, Bendicho muestro Salvador.  Tu sos muestro Dyo, Tu sos muestro Senyor.    Tu sos muestro Rey, Tu sos muestro Salvador.
参考 > 註腳

↑  E.g., Jacobson, B.S., The Sabbath Service (orig. 1968, Engl. transl. 1981, Tel-Aviv, Sinai Publ'g) page 317.
↑  Jacobson, B.S., The Sabbath Service (orig. 1968, Engl. transl. 1981, Tel-Aviv, Sinai Publ'g) page 317; Nulman, Macy, Encyclopedia of Jewish Prayer (1993, NJ, Jason Aronson) s.v. Ayn Kaylohaynu, page 71.
↑  Nulman, Macy, Encyclopedia of Jewish Prayer (1993, NJ, Jason Aronson) s.v. Ayn Kaylohaynu, page 72; Elbogen, Ismar, Jewish Liturgy: A comprehensive history (orig. 1913, Engl. transl. 1993, Philadelphia, Jewish Publ'n Society) page 95 (in Persia, it concludes the Friday night service).
↑  Talmud, Menachot 43b
↑  Jacobson, B.S., The Sabbath Service (orig. 1968, Engl. transl. 1981, Tel-Aviv, Sinai Publ'g) page 319; Nulman, Macy, Encyclopedia of Jewish Prayer (1993, NJ, Jason Aronson) s.v. Ayn Kaylohaynu, pages 71-72.
↑  Jacobson, B.S., The Sabbath Service (orig. 1968, Engl. transl. 1981, Tel-Aviv, Sinai Publ'g) page 320, citing the appearances in Gen. 1:1, Gen. 15:2, Ex 15:18, and Dt. 33:29.
↑  Millgram, Abraham, Jewish Worship (1971, Philadelphia, Jewish Publ'n Society) page 494.
↑  The particular Latin-script spelling used here (e.g., "komo" instead of "como"), is based on the Aki Yerushalayim convention of the Autoridad Nasionala del Ladino. See Judaeo-Spanish (Orthography).
↑  . bj.org. Congregation B'nai Jeshurun.   [30 November 2015]. （原始内容存档于2019-12-01）.  "Kien", rather than "Ken", is consistent with the Hebrew-script spelling.
Eisenberg, R. The JPS Guide to Jewish Traditions, Jewish Publication Society of America, October 2004. ISBN 0-8276-0760-1ISBN 0-8276-0760-1
Telushkin J. Jewish Literacy: The Most Important Things to Know About the Jewish Religion, Its People and Its History , William Morrow; 1st edition (April 26, 1991). ISBN 0-688-08506-7ISBN 0-688-08506-7
红旗镇 (凤城市)

| 红旗镇 |
| --- | --- |
镇
坐标：40°08′10″N 123°52′39″E﻿ / ﻿40.13622°N 123.87754°E﻿ / 40.13622; 123.87754
国家:  中华人民共和国
上级行政区: 凤城市
村级区划单位数:  9 0社区 9行政村 
时区: 北京时间（UTC+8）
行政区划代码: 21 06 82 104
电话区号: +86 
红旗镇，是中华人民共和国辽宁省丹东市凤城市下辖的一个乡镇级行政单位。
名称由来

1892年康熙皇帝将巴尔虎蒙古编入八旗，指派成吉思汗的后裔包尔机根氏（汉姓包）统率巴尔虎蒙古10姓人家到凤凰城驻防，被编入正黄旗下当差，在八旗旗署之外另设巴尔虎署，专门管理巴尔虎事务，包尔机根氏统领巴尔氏虎蒙古进驻红旗，除种地放养柞蚕外，金矿、理石矿先后得到开发利用，红旗的社会经济得到进一步发展，红旗街逐步发展成为凤南政治经济中心，红旗也成为行政建制名称。
政区沿革

1621年（明天启元年）努尔哈赤据有辽东，凤城地区包括红旗被划归镶蓝旗管辖。
1644年清设凤凰城守尉、凤凰直隶厅、东边兵备道等旗民衙门，辖有红旗。
1911年设南镇，驻红旗街，辖地东至柳条边、南至黄海、北至太虎岭、大青山、干柴内岭、西至大洋河；不久以龙王庙为界，将南镇改设南一、南二镇，红旗属南二镇。
1913年设凤凰县，1914年因与湖南凤凰县重名，改称凤城县，辖南二镇。1919年改南二镇为六区，辖42个村，41个屯，区公所驻红旗街。
1923年实行区村制，六区辖14个村。1938年伪满洲国实行村（相当于乡镇级建制）屯制，将六区设红旗、蓝旗、杨木3个村，红旗村辖红旗、包营子、四家子、沈甸、三义庙、新兴、新立、德奎、老虎洞、黄旗、复兴11个屯。
1945年10月中共设凤城县红旗区政府。
1946年5月中共设孤山县，红旗区划归孤山县。
1946年10月中国国民党进驻凤城县，撤销孤山县设凤城县红旗乡，
1947年6月中国国民党撤出，中共恢复孤山县红旗区建制。
1949年7月撤销孤山县，红旗区划归凤城县。
1950年10月红旗区改称凤城县第十六区。
1951年2月改称凤城县第二区。
1956年2月改称凤城县红旗区，辖红旗、蓝旗、杨木3个乡，团结、永兴、德奎、广胜、新生、快乐、老虎洞、建设、前进、胜利11个小乡。
1958年9月撤销红旗、蓝旗、杨木3个乡建制，设红旗人民公社，辖30个大队。
1961年7月调整人民公社，将原蓝旗乡、杨木乡所辖地划出另行组建蓝旗、杨木人民公社，红旗人民公社（乡镇级建制）辖12个大队，人民公社驻地由红旗街移至牌坊底。1983年9月撤销红旗人民公社，设红旗乡。
1985年1月17日撤销凤城县，设立凤城满族自治县，辖红旗乡。同年8月撤销红旗乡，设立红旗镇至今。
自然地理

红旗镇位于凤城市南部，地近黄海北岸，东、南、西、北分别与边门镇、东港市长安乡、东港市合隆镇、白旗镇相毗邻。
镇区地势北高南低，中间平坦，属丘陵地貌。主要山峰柜石山海拔444.33m，为境内第一高峰。境内淡水资源丰富，大小河流30条，主要河流土牛河、三道河、四家子河、小土牛河、八岔河。土牛河上游建有土门子水库。
红旗镇年均气温7.8℃，年均降水量900—1200mm，四季分明，雨热同季，夏无酷署，冬无严寒，年均无霜期160—170天。
人口面积

根据2010年红旗镇派出所人口数据，该镇总户数6337户，总人口19978人，总面积263平方公里。
红旗镇满族聚居，满族人口12854人，占总人口的64.3%；散居民族有汉、蒙古、锡伯、朝鲜、回、傈僳、鄂伦春、侗等8个民族。
行政区划

红旗镇下辖以下地区：
永兴村、​团结村、​烧锅村、​黄旗堡村、​德奎村、​新力村、​三义庙村、​四家子村和包营子村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
海牛屬

| 海牛 化石时期：更新世-现代 2> 5–0 Ma  PreЄ Є O S D C P T J K Pg N  ▼   |
| --- | --- |

海牛家族的一种：西印度海牛
保护状况
 易危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 哺乳纲 Mammalia
目：: 海牛目 Sirenia
科：: 海牛科 Trichechidae Gill, 1872
属：: 海牛属 Trichechus Linnaeus, 1758

种
 西印度海牛(T. manatus)  亞馬遜海牛(T. inunguis)  西非海牛(T. senegalensis)

海牛（学名：）是一类大型水生哺乳动物，在淡水或浅海中生活，以草食为主。属于海牛目海牛科（）的唯一一个属。目前海牛科下有三个海牛物种，它们分别是：亚马逊海牛、西印度海牛和西非海牛。成年海牛大约身长3-4米，体重600千克左右，有桨状的脚蹼。海牛目的名字来源于古代传说中，美人鱼形状的神秘生物，它们用歌声诱惑水手们走向死亡。在巴西，海牛被称为（意为：牛魚），在其他西班牙语系的国家被称为（意为：海中的牛）。海牛科的动物一天的绝大部分时间都在睡觉，每 20 分钟会升到水面呼吸一次。
另两种海牛目物种——儒艮及大海牛则属于儒艮科。
分类和特征

海牛被认为与6千万年前由陆地上的哺乳四足动物进化而来，与其亲缘关系比较近的长鼻目的大象以及蹄兔目的蹄兔。
海牛的的体型很大，成年约3-4米长（雌性海牛通常比雄性体型更大），无背鳍，后肢退化消失演化为宽大成桨状的尾鳍。没有门齿和犬齿，仅具有臼齿，牙齿的替換方式是由口腔深處往前水平地移动，而且换齿的过程持续终生，在同一时间段内，上颌或下颌内的牙齿一般不会超过6颗。有可伸缩的上唇，可以用于含住食物，也有与同类通讯和社交的作用。海牛的皮肤厚重，不具汗腺，前肢基部處各有1個乳頭。肺很大，是浮力的主要來源。与马相似，海牛的胃结构简单，但有一个很大的盲肠以消化粗糙的植物类食物，通常消化道总长度可达45米，远远大于其它同等体积的哺乳动物。
海牛与同属于海牛目的另一科儒艮科动物儒艮在外观上很相近，它们之间的不同点在于尾部的形狀：海牛的尾部扁平略呈圆形，外观类似大型单片的船桨；而儒艮的尾部则是中央分岔的，和鲸相类似。
分布范围

海牛主要分布热带海域，包括大西洋海盆一帶的浅海，加勒比海，墨西哥湾以及亚马逊河。在现存的三种海牛中：
西印度海牛（）主要分布于加勒比海与南美洲东北部海岸，其中佛罗里达是唯一的一片处于亚热带区域，大约生活着5000只海牛，由于无法在15°C以下的温度中生活，因此那里的很多海牛在冬季时会迁徙到相对温暖的海域。
西非海牛（）主要栖息于非洲西部海岸，从塞内加尔河南部到安哥拉的广萨河。与西印度海牛相似的是，它们都会逆流游至大河上游，因此经常出现在河口三角洲与近海多水生植物的浅海平静水域。
亚马逊海牛（）仅生存于亚马逊河及其支流流域，它们从未见于海水之中。
习性和生活

海牛在水中约有一半时间在睡觉，平均每5分钟浮到水面上呼吸一次，其它的时间中大多都在水面下1-2米处进食。它们主要以各种水生植物为食，包括海草、水藻、红树叶等60多种植物，但偶尔也会食用鱼，海鞘等动物。一只成年海牛每天进食的重量大约相当于其体重的10%，约50千克。 成年的母海牛大约两年怀孕一次，孕期长达11～12个月左右，哺乳期一般持续12-18个月。
海牛的一般移动速度约为每小时5-8千米，但短时间内最快也可达到30千米/时。根据研究，海牛有保留长期记忆的能力，以及学习复杂任务的潜力，在视觉和声音识别方面的智力与海豚相当。海牛会发出各种声音以进行种群内的相互沟通，特别是在母海牛和其幼子之间。成年海牛之间也会相互沟通，进行性行动以及娱乐。人们认为，除了视觉，听觉和触觉之外，味觉和嗅觉也会帮助海牛群体进行交流。
濒危现状

现存的的3种海牛在其栖息地皆已濒临灭绝。会捕食海牛的动物很少（有鲨鱼，鳄鱼等），而且被捕食的量通常也很少，不会对海牛种群的生存构成很大的威胁。真正威胁海牛生存的是海牛栖息地的人类活动。海牛移动缓慢，好奇心强，经常发生与海岸居民和游客的摩托艇相撞，被螺旋桨搅伤甚至死亡的事件。由于海牛听觉系统的特点，它们能识别的声音频率比一般的船只发出的频率要高，因此对于周围船发出的声音不敏感，无法及时躲避。有的海牛被人发现身上有多达50道船螺旋桨造成的伤痕，这些创伤有可能导致感染，以致死亡
。佛罗里达大学的研究人员称，尽管在佛罗里达飓风、低温、赤潮等各种因素都在威胁着海牛的生命，但近海沿岸的船只相比对海牛的影响最大，造成了逾1/4的海牛死亡事故。
另外，捕漁時用的器具如魚勾和魚絲都會對海牛造成傷害，吞下的魚絲可能會堵塞海牛的消化系統，最終導致死亡。人類的捕殺也是导致海牛数量下降的因素，由於海牛體內含有豐富的脂肪，加上其肉可作食糧，因此曾被大量獵捕，現在仍有部分地區在市場上販售海牛肉。
發電廠附近的水域常因電廠排出的高溫冷卻水而導致溫度上升，而由於海牛會游到暖水帶避寒，發電廠附近的海域常常可見而成群結隊的海牛，有時可達數百頭以上。海牛漸漸依賴這些人造的暖水帶，冬天不再移居到暖和的熱带海洋。近年來美國有多所發電廠關閉，美國的有關組織正嘗試為海牛維持海水的溫度。
相关条目

濒危物种列表
其它參考書目

Pieter A. Folken, Randall R. Reeves, etc. / illustrated by Pieter A. Folkens, 《Guide to MARINE MAMMALS of the World》,Alfred A. Knopf, 2002: p474-477. ISBN 978-0-375-41141-0
John E. Reynold III and James A. Powell, 《Manatees(Trichechus manatus, T. senegalensis, and T. inunguis)》, edit by William F. Perrin, Bernd Würsig, etc. 《Encyclopedia of marine mammals》, Academic Press, 2002: p709-720. ISBN 978-0-12-551340-1
David K. Caldwell, 《Manatees - Trichechus manatus Linnaeus, 1758; Trichechus senegalensis Link, 1795 and Trichechus inunguis(Natterer, 1883)》, edited by Sam H. Ridgway and Sir Richard Harrison, F.R.S. 《Handbook of Marine Mammals, Volume 3: The Sirenians and Baleen Whales》, Academic Press, 1989: p33-66. ISBN 978-0-12-588504-1
西印度海牛
海牛的全球大致分布状况图； 绿色：西印度海牛； 红色：亚马逊海牛； 橙色：西非海牛
佛罗里达州海洋世界的海牛
西法蘭克福 (伊利諾伊州)

| 西法蘭克福 West Frankfort |
| --- | --- |
城市


坐标：38°53′25″N 88°55′24″W﻿ / ﻿38.89028°N 88.92333°W﻿ / 38.89028; -88.92333
國家: 美国
州份: 伊利諾伊州
縣: 富蘭克林縣
面积
 • 总计: 12.99 平方公里（5.02 平方英里）
 • 陸地: 12.88 平方公里（4.97 平方英里）
 • 水域: 0.11 平方公里（0.04 平方英里）
海拔: 122 公尺（400 英尺）
人口（2010）
 • 總計: 8,182人
 • 密度: 630人/平方公里（1,631人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 62896
電話區號: 618
GNIS ID: 2397267
西法蘭克福（英語：）是一個位於美國伊利諾伊州富蘭克林縣的城市。
地理

西法蘭克福的座標為38°53′25″N 88°55′24″W﻿ / ﻿38.89028°N 88.92333°W﻿ / 38.89028; -88.92333，而該地的平均海拔高度為122米（即400英尺）。
人口

根據2010年美國人口普查的數據，西法蘭克福的面積為12.99平方千米，當中陸地面積為12.88平方千米，而水域面積為0.11平方千米。當地共有人口8182人，而人口密度為每平方千米629.87人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
简单类型λ演算

简单类型 lambda 演算( \lambda ^{\to })是连接词只有  \to  (函数类型)的有类型 lambda 演算。这使它成为规范的、在很多方面是最简单的有类型 lambda 演算的例子。
简单类型也被用来称呼对简单类型 lambda 演算的扩展比如积、陪积或自然数(系统 T)甚至完全的递归(如PCF)。相反的，介入了多态类型(如系统F)或依赖类型(如逻辑框架)的系统不被当作是简单类型。简单类型 lambda 演算最初由阿隆佐·邱奇在 1940 年介入来尝试避免无类型 lambda 演算的悖论性使用。
类型

简单类型 lambda 演算的类型构造自基本类型(或类型变量)  \alpha ,\beta ,\gamma ,\dots ，给定类型  \sigma ,\tau \, 我们能构造  \sigma \to \tau 。邱奇只使用了两个基本类型， o\, 是命题的类型， \iota \, 是个体的类型。这种演算经常只有一个基本类型，通常考虑为  o\,。
\to  是右结合的: 我们读  \sigma \to \tau \to \rho  为  \sigma \to (\tau \to \rho )。对每个类型  \sigma \, 我们指派一个数字  o(\sigma )\,，它是  \sigma \, 的阶。对于基本类型，我们设置  o(\alpha )=0\,，而对于函数类型我们递归的定义  o(\sigma \to \tau )={\mbox{max}}(o(\sigma )+1,o(\tau ))。
项

要定义有给定类型的 lambda 项的集合，我们介入定类型上下文  \Gamma ,\Delta ,\dots ，它们是形如  x:\sigma \, 的类型假定的序列，这里的  x\, 是变量。我们介入判断  \Gamma \vdash t:\sigma ，它意味着  t\, 在上下文  \Gamma \, 中是类型  \sigma \, 的项，它们由下列定类型规则给出:
| --- | --- |
 {\frac {}{x:\sigma \vdash x:\sigma }}:  {\Gamma \vdash x:\sigma \quad x\not =y} \over {\Gamma ,y:\tau \vdash x:\sigma }
 {\Gamma ,x:\sigma \vdash t:\tau } \over {\Gamma \vdash \lambda x:\sigma .t:\sigma \to \tau }:  {\Gamma \vdash t:\sigma \to \tau \quad \Gamma \vdash u:\sigma } \over {\Gamma \vdash t\,u:\tau }
换句话说，
如果 x 有类型  \sigma \,，我们知道 x 有类型  \sigma \,。
如果在特定上下文中，可以推导出 x 有类型  \sigma \, ，且有某个不是 x 的 y，则上述上下文与 y 有类型  \tau \, 的事实一起，同样允许推导出 x 有类型  \sigma \,。即向上下文增加一个新值不改变现存的值(新值不同于旧值之一)。
如果在特定上下文中，已知 x 有类型  \sigma \,，可以推导出 t 有类型  \tau \,，则在同一个上下文中，可以构造lambda 抽象  \lambda x:\sigma .t\,，它有类型  \sigma \to \tau 。
如果在特定上下文中，可以推导出 t 有类型  \sigma \to \tau  和 u 有类型  \sigma \,，则在同一个上下文中，可以推导出表达式  t\,u\,有类型  \tau \,。这捕获了函数应用的概念。
闭合项的例子有:
\lambda x:\alpha .x:\alpha \to \alpha  (I)
\lambda x:\alpha .\lambda y:\beta .x:\alpha \to \beta \to \alpha  (K)
\lambda x:\alpha \to \beta \to \gamma .\lambda y:\alpha \to \beta .\lambda z:\alpha .xz(yz):(\alpha \to \beta \to \gamma )\to (\alpha \to \beta )\to \alpha \to \gamma  (S)。
它们是组合子逻辑的基本组合子的有类型 lambda 演算的表示。
简单类型 lambda 演算通过 Curry-Howard同构密切相关于只有蕴涵( \to )作为连接词的直觉逻辑(极小逻辑): 闭合项所居留的类型正好是极小逻辑的重言式。
相同类型的项通过  \beta \eta \,-等价来识别，它是通过方程  (\lambda x:\sigma .t)\,u=_{\beta }t[x:=u]\, 生成的，这里的  t[x:=u]\, 代表  t\, 带有  x\, 的所有自由出现都被替代为  u\,，而  \lambda x:\sigma .t\,x=_{\eta }t\,，如果  x\, 在  t\, 中不自由出现。简单类型 lambda 演算(带有   \beta \eta \,-等价)是笛卡儿闭范畴(CCC)的内部语言。这是 Lambek 首先观察到的。
重要成果

Tait 在 1967 年证明了  \beta -归约是强规范化的。作为必然推论  \beta \eta -等价是可判定性的。Statman 在 1977 年证明规范化问题不是基本递归的。纯语义规范化证明由 Berger 和 Schwichtenberg (Normalisation by evaluation) 在 1991 年给出。
\beta \eta -等价的合一问题是不可判定的。Huet 在 1973 年证明 3 阶合一已经是不可判定的了，而 Goldfarb 在 1981 年进而证明了 2 阶合一是不可判定的。更高阶匹配(只有包含存在性变量一个项的合一)是否是可判定仍无定论。
我们可以通过类型  (o\to o)\to (o\to o) 的项(邱奇数)来编码自然数。Schwichtenberg 在 1976 年证明在  \lambda ^{\to } 中扩展的多项式被准确的表示为在邱奇数上的函数；这些粗略的是在条件运算下闭合的多项式。
\lambda ^{\to } 的完整模型是通过解释基本类型为集合和解释函数类型为集合论的函数空间来给出。Friedman 在 1975 年证明这种解释是对  \beta \eta -等价是完备的，如果基本类型被解释为无限集合。Statman 在 1983 年证明  \beta \eta -等价是极大等价，它是典型歧义的，就是说，在类型替换下闭合(Statman's Typical Ambiguity Theorem)。它的必然推论是有限模型性质成立，就是说，有限集合就足够用来区别出不能通过  \beta \eta -等价识别的项。
Plotkin 在 1973 年介入逻辑关系来特征化可以用 lambda 项定义的模型的基础。在 1993 年 Jung 和 Tiuryn 证明了逻辑关系的一般形式(带有可变元数的 Kripke 逻辑关系)完全特征化了 lambda 定义能力。Plotkin 和 Statman 推测从有限模型生成给定元素是否是通过 lambda 项可定义的(Plotkin-Statman-conjecture)。这个推测被 Loader 在 1993 年证明为假。
引用

A. Church: A Formulation of the Simple Theory of Types, JSL 5, 1940
W.W.Tait: Intensional Interpretations of Functionals of Finite Type I, JSL 32(2), 1967
G.D. Plotkin: Lambda-definability and logical relations, Technical report, 1973
G.P. Huet: The Undecidability of Unification in Third Order Logic Information and Control 22(3): 257-267 (1973)
H. Friedman: Equality between functionals. LogicColl. 73, pages  22-37, LNM 453, 1975.
H. Schwichtenberg: Functions definable in the simply-typed lambda calculus, Arch. Math Logik 17  (1976) 113-114.
R. Statman: The Typed lambda-Calculus Is not Elementary Recursive FOCS 1977: 90-94
W. D. Goldfarb: The undecidability of the 2nd order unification problem, TCS (1981), no. 13, 225- 230.
R. Statman.  \lambda -definable functionals and  \beta \eta  conversion. Arch. Math. Logik, 23:21--26, 1983.
J. Lambek: Cartesian Closed Categories and Typed Lambda-calculi. Combinators and Functional Programming Languages 1985: 136-175
U. Berger, H. Schwichtenberg: An Inverse of the Evaluation Functional for Typed lambda-calculus LICS 1991: 203-211
Jung, A.,Tiuryn, J.:A New Characterization of Lambda Definability, TLCA 1993
R. Loader: The Undecidability of λ-definability, appeared in the Church Festschrift, 2001
红潮风暴

| 红潮风暴  |
| --- | --- |
电影海报
基本资料
导演: 托尼·斯科特
监制: 唐·辛普森 杰瑞·布鲁克海默
编剧: 罗杰·唐恩[*] 昆廷·塔伦蒂诺 理查德·P·亨瑞克[*]
剧本: 迈克尔·希弗（Michael Schiffer）
故事: 迈克尔·希弗 理查德·P·亨瑞克（英语：）
主演: 丹泽尔·华盛顿 金·哈克曼
配乐: 汉斯·季默
摄影: 达鲁兹·沃斯基（英语：）
: 克里斯·里本总（英语：）
制片商: 唐·辛普森/杰瑞·布鲁克海默
片长: 116分钟
产地:  美国
语言: 英语  
上映及发行
上映日期: 1995年5月12日
发行商: 好莱坞影片
预算: 5300万美元
票房: 1亿5738万7195美元
各地片名
香港: 
臺灣: 
新加坡: 
《红潮风暴》（英語：），又译《核艇风暴》，是一部1995年上映、以冷战时期为背景的美国电影，由托尼·斯科特执导，唐·辛普森和杰瑞·布鲁克海默擔任制片。两位得過奧斯卡獎的男演员金·哈克曼和丹泽尔·华盛顿分别扮演美国海军俄亥俄级核潜艇阿拉巴马号的舰长和副舰长。故事背景是一伙俄罗斯军事极端分子发动政变并控制了一个核导弹发射架，威胁如果美国或俄罗斯任何一方胆敢强攻，就将对美国或日本发动核打击并引发核战争。而故事情节的主体则是描述阿拉巴马号艇长和副艇长间对是否应发射核弹进行打击所持的不同意见，以及随之而来的反复争斗等严重冲突。
影片上映后在商业和专业评价两方面都获得了成功，全球票房收入超过1.57亿美元，相当于预算的3倍，并在第68届学院奖角逐中获剪辑、音效、音效剪辑3项提名。为影片谱曲的汉斯·季默也因雄壮激昂的主题音乐获得了一座格莱美奖。
剧情

苏联解体后，一伙军事极端分子发动政变并控制了一座核彈基地，美國與俄羅斯只要任何一方膽敢搶攻，美國與俄羅斯都有相互保證毀滅與毀滅敵方盟軍的能力。
美國海軍-俄亥俄级核潜艇阿拉巴马号接到指令出海，以便在万不得以的情况下可以先发制人，舰长弗兰克·拉姆齐（Frank Ramsey，金·哈克曼饰）是美国海军少有的几位拥有实战经验的指挥官之一，而罗恩·亨特（Ron Hunter，丹泽尔·华盛顿饰）少校则担任他的副手。罗恩接受过大量军事历史和战术方面的教育，但没有过任何实战经验。
正副两位舰长由于性格和行事风格完全相反，前者更加强硬和冲动，而后者则更加谨慎并注重分析。阿拉巴马号出海后，两人虽然在很多问题上看法不一致，但总体关系还算正常。可是几天后，他们收到了指挥部发来的紧急行动指令，要求艇上发射核弹。但是由于潜艇这时受到了一艇俄国叛军潜艇的攻击，因此正当其接受到另一份紧急行动指令时与外界的通讯联系就中断了，通讯设备也严重受损。
根据相关章程，核武器的启动和发射必须要有舰长、副舰长的一致同意，因此这时两人发生了严重的冲突，拉姆齐坚持要发射核弹，表示已有命令在手，另一份命令并没有收到所以不需要考虑。而亨特则认为核武器发射事关重大，必须在确定另外一份命令的内容后才能做决定。之后由于舰长要求强行将副舰长撤职，副舰长于是引用海军法相关章程反过来解除了舰长的职位。
但是，舰长戎马一生，德高望重。他被撤换引来了许多人的不满，他们决心通过叛乱，恢复舰长的指挥权。于是在这艘满载核弹头的潜艇上，海底下的“叛舰喋血记”正式地拉开了序幕……
演员

金·哈克曼 饰 弗兰克·拉姆齐上校，艦長
丹泽尔·华盛顿 饰 罗恩·亨特少校，副艦長
詹姆斯·甘多菲尼 饰 巴比·道格提（Bobby Dougherty）上尉，補給官
马特·克拉文（英语：） 饰 罗伊·齐默（Roy Zimmer）上尉，通信官
维果·莫腾森 饰 彼得·英斯（Peter Ince）上尉，武器官
洛奇·卡罗尔（英语：） 饰 达里克·韦斯特加德（Darik Westergard）上尉，作戰官
丹尼·努齐 饰 丹尼·瑞威蒂（Danny Rivetti）士官，聲納員
史蒂夫·茨恩 饰 威廉·巴恩斯（William Barnes）士兵
杰森·罗巴兹 饰 安德森（Anderson）少将，调查委员会主席（未列名）
制作花絮 > 配乐

汉斯·季默为影片谱写的配乐采用了管弦乐、人声合唱及电子合成的音效，具体的演奏由哈利·葛瑞森-威廉斯指挥。最终获得了一座格莱美奖，汉斯也表示这是他个人最喜欢的作品。
制作花絮 > 剧本及拍攝過程

影片的剧本中还有昆汀·塔伦蒂诺的一份贡献（但他的名字没有列在主创人员名单上），其中大部分是一些带有流行元素的台词内容。
美国海军对影片剧本中的许多内容表示了反对，特别是其中核潜艇上的叛变行为。因此，《红潮风暴》是在没有得到海军协助的情况下制作完成。片中出现的相关镜头实际上是由法国海军的福煦号航空母舰和凯旋级核潜艇协助拍摄。
反响 > 票房收入

《紅潮風暴》在美國上映首周即登上了票房榜冠軍的位置，達1,860萬美元，最終，影片在美國本土獲得9,100萬美元的票房，並在其他國家收入6,600萬美元，總計票房收入為1億5,730萬美元。
反响 > 专业评价

影片上映后收到了较为正面的评价。根据烂蕃茄上收集的46位专业评论文章，其好评度为87%，平均得分7.5分（满分10分），许多评论家赞扬了两位男主角的表演，和影片故事氛围的良好把握。
《芝加哥太阳报》知名影评人罗杰·埃伯特写道：这是那种不但观众观看时会感到精彩，而且离开电影院后还会谈论其中内容的少數战争片。”《旧金山纪事报》的米克·拉萨尔（英语：）也写道，“《红潮风暴》中拥有任何你会希望一部动作惊悚片拥有的元素，而且还会有许多让你意外的的惊喜。”《娱乐周刊》的欧文·格雷伯曼（英语：）则认为“让《红潮风暴》脱颖而出是……世界末日可能随时会降临，但真正吸引我们的却仍然是两位演员精彩纷呈的表演。”
不过，《纽约时报》的简妮特·玛丝琳（英语：）批评影片将对世界末日的恐惧表现得非常肤浅，她指出“影片中的主要兴奋点居然来自于（会造成巨大伤害的）导弹和爆炸”，并且“没有别的任何内容可能提供类似的兴奋感”。
反响 > 奖项

《红潮风暴》获得了第68届奧斯卡金像獎剪辑、音效、音效剪辑3项提名。
参考资料

↑  . IMDb.   [2013-03-28]. （原始内容存档于2017-01-05）.
↑  . Film Score. （原始内容存档于2008-07-16）.
↑  Peary, Gerald. . . Conversations with Filmmakers Series. University Press of Mississippi. August 1998: xviii  [2008-08-03]. ISBN 1-57806-050-8. （原始内容存档于2020-10-13）.
↑  . Yahoo Movies.   [2009-02-10]. （原始内容存档于2011-05-22）.
↑  Suid, Lawrence.  2. University Press of Kentucky. 2002: 748  [2013-04-24]. ISBN 0-8131-9018-5, 978-0813190181 请检查|isbn=值 (帮助). （原始内容存档于2016-04-27）.
1 2  Box Office Mojo上《Crimson Tide》的資料（英文）
↑  爛番茄上《Crimson Tide》的資料（英文）
↑  Ebert, Roger. "Crimson Tide," （页面存档备份，存于） Chicago Sun-Times (May 12, 1995).
↑  LaSalle, Mick. "Tension Hot in Crimson: Submarine thriller a first-rate story," （页面存档备份，存于） San Francisco Chronicle (May 12, 1995).
↑  Gleiberman, Owen. "Movie Review: Crimson Tide," （页面存档备份，存于） Entertainment Weekly (May 12, 1995).
↑  Maslin, Janet. "FILM REVIEW: CRIMSON TIDE; Deciding the World's Fate From the Ocean's Bottom," （页面存档备份，存于） The New York Times (May 12, 1995).
↑  . oscars.org.   [2013-03-28]. （原始内容存档于2013-10-14）.
索氏羊舌鮃

| 索氏羊舌鮃 |
| --- | --- |

保护状况
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鲽形目 Pleuronectiformes
科：: 鮃科 Bothidae
属：: 羊舌鲆属 Arnoglossus
种：: 索氏羊舌鮃 A. thori
二名法
Arnoglossus thori Kyle, 1913

異名
 Kyleia thori, Kyle, 1913  Arnoglossus thory, Kyle, 1913  Pleuronectes grohmanni, Bonaparte, 1837  Arnoglossus moltonii, Torchio, 1961  Arnoglossus moltoni, Torchio, 1961
索氏羊舌鮃為輻鰭魚綱鰈形目鰈亞目鮃科的其中一種，為亞熱帶海水魚，分布於東大西洋區，從愛爾蘭至獅子山、維德角群島，包括地中海西部及黑海海域，棲息深度15-300公尺，體長可達18公分，棲息在大陸棚，以小魚及無脊椎動物為食，生活習性不明，可做為食用魚。
扩展阅读

維基物種上的相關：索氏羊舌鮃
黛麗斯

| 黛麗斯國際有限公司  Top Form International Limited |
| --- | --- |

公司類型: 上市公司
成立: 1963年
代表人物: 馮煒堯
總部:  香港
产业: 成衣
网站: 黛麗斯官方網址 topformbras.com
黛麗斯國際有限公司（港交所：0333）是香港製造胸圍集團，其業務主要生產成衣及銷售。
其主要品牌「Marguerite Lee」和「萬多姿」內衣，但缺點的，就是規模空間太小，佔營業額不足百分之2。其中「萬多姿」在2006年6月底全面撤離香港市場。
集團於1991年12月16日在香港交易所主板上市。
香港工業總會副主席及付貨人委員會主席林宣武為集團獨立非執行董事。
歷史

1963年，「胸圍大王」羅傑倫先生和黃松滄先生在香港共同創立「黛麗斯胸圍製造廠有限公司」，主要生產胸圍產品，當時縫紉機只有二十多台。
1970年，「胸圍大王」羅傑倫先生和黃松滄先生開始接手「黛麗斯胸圍製造廠有限公司」，同一時間，縫紉機則有約一百多台。
1978年，生產胸圍的縫紉機則已經達至一千多台。
1979年，集團開始進軍海外市場，在菲律賓創立「菲律賓萬多姿工業股份有限公司」（Meritlux Industries Philippines, Inc.），縫紉機則已經達至四百多台。
1980年，集團和Stephen Fransen Company進行開拓歐洲零售批發市場；集團開始投入中國內地市場，創立「佛山市南海黛麗斯內衣有限公司」廠房，其後在遼寧省大連市開設廠房（已關閉）。
1985年，集團進軍日本市場。
1988年，集團在泰國第一家廠房，成立「泰國聯慧胸圍製造股份有限公司」（Unique Form Manufacturing（Thailand）Company Limited）。
1991年12月16日，集團在香港交易所主板上市。
1993年，集團開始購入亞洲進行批發零售下游業務。
1996年，集團開始創立「上海巴黎春天百貨」業務，但原董事長羅傑倫先生大舉向銀行借貸，而去投資「上海巴黎春天百貨」業務和非核心業務，引致債台高築。
1998年，幸好獲友邦保險控股公司的美國國際集團（AIG）（紐約股份代號：AIG）（東京股份代號：8685.T）、VF Corp、VDV和擁有35年紡織經驗的馮煒堯先生（現任董事長）收購，並透過發行新股及債券，以及出售非核心業務和「上海巴黎春天百貨」予回羅傑倫先生來減債，由原本6億港元減至2.6億港元，重新專注女性內衣業務。
1999年，集團在中國龍南縣成立「龍南縣建盈內衣有限公司」和「龍南黛麗斯內衣有限公司」，該公司業務分別模片製造和生產女裝內衣，同時建廠。
2000年，集團在泰國成立「泰國黛麗斯內衣製造股份有限公司」和在中國龍南縣開始動工。
2003年，集團繼續專注女性內衣業務，去蕪存菁，使財政獲得投資者評價正面支持。
2004年，集團中國龍南縣工廠動工完成；財務也重拾正軌。
2005年，龙南工业园企业实现产值9170万元，上交税金360万元，安排就业4000人。工贸园全部建成投产后，预计年产值可达4亿元，年创税收可达2000万元，安排就业6000人。
外部連結

黛麗斯官方網址 topformbras.com （页面存档备份，存于）
江西省龙南县黛丽斯工贸园详情 （页面存档备份，存于）
蒙塔莱

| 蒙塔莱 |
| --- | --- |
市镇
Montale

   徽章
蒙塔莱蒙塔莱在意大利的位置
坐标：43°56′00″N 11°01′00″E﻿ / ﻿43.9333°N 11.0167°E﻿ / 43.9333; 11.0167
国家:  義大利
省份或广域市: 皮斯托亚省
面积
 • 总计: 32.02 平方公里（12.36 平方英里）
人口（2009）
 • 總計: 10,709人
 • 密度: 334人/平方公里（866人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
邮编: 51037
蒙塔莱（義大利語：），是意大利皮斯托亚省的一个市镇。总面积32.02平方公里，人口10709人，人口密度334.4人/平方公里（2009年）。ISTAT代码为047010。
友好城市

法國 桑利斯
西經152度線

西經152度線是本初子午線向西152度的經線，是為西經152°。此線經線由北極點起穿過北冰洋、北美洲、太平洋、南冰洋以及南極洲直到南極點。此段半圓路徑長20,003,932（12,429,867英里），於赤道與本初子午線距16,920（10,510英里）遠。
西經152度線與東經28度線形成一個大圓。
界線所經

從北極點至南極點，西經152度線依次穿過：
| 坐標 | 國家、領土或海洋 | 注腳 |
| --- | --- | --- |
| 90°0′N 152°0′W﻿ / ﻿90.000°N 152.000°W﻿ / 90.000; -152.000﻿ (Arctic Ocean) | 北冰洋 |  |
| 72°3′N 152°0′W﻿ / ﻿72.050°N 152.000°W﻿ / 72.050; -152.000﻿ (Beaufort Sea) | 波弗特海 |  |
| 70°34′N 152°0′W﻿ / ﻿70.567°N 152.000°W﻿ / 70.567; -152.000﻿ (United States) |  美国 | 阿拉斯加州 |
| 60°41′N 152°0′W﻿ / ﻿60.683°N 152.000°W﻿ / 60.683; -152.000﻿ (Cook Inlet) | 库克湾 |  |
| 60°25′N 152°0′W﻿ / ﻿60.417°N 152.000°W﻿ / 60.417; -152.000﻿ (United States) |  美国 | 阿拉斯加州—穿越卡尔金岛。 |
| 60°21′N 152°0′W﻿ / ﻿60.350°N 152.000°W﻿ / 60.350; -152.000﻿ (Cook Inlet) | 库克湾 |  美国：從阿拉斯加州基奈半島西方掠過。（59°18′N 151°59′W﻿ / ﻿59.300°N 151.983°W﻿ / 59.300; -151.983﻿ (Kenau Peninsula)） |
| 58°55′N 152°0′W﻿ / ﻿58.917°N 152.000°W﻿ / 58.917; -152.000﻿ (United States) |  美国 | 阿拉斯加州—穿越巴倫島（英语：）。 |
| 58°54′N 152°0′W﻿ / ﻿58.900°N 152.000°W﻿ / 58.900; -152.000﻿ (Pacific Ocean) | 太平洋 |  |
| 58°21′N 152°0′W﻿ / ﻿58.350°N 152.000°W﻿ / 58.350; -152.000﻿ (United States) |  美国 | 阿拉斯加州—穿越阿福格納克島。 |
| 58°12′N 152°0′W﻿ / ﻿58.200°N 152.000°W﻿ / 58.200; -152.000﻿ (Pacific Ocean) | 太平洋 |  美国：從阿拉斯加州科迪亚克岛東方掠過。（57°37′N 152°9′W﻿ / ﻿57.617°N 152.150°W﻿ / 57.617; -152.150﻿ (Kodiak Island)）   基里巴斯：從弗林特島西方掠過。（11°25′S 151°48′W﻿ / ﻿11.417°S 151.800°W﻿ / -11.417; -151.800﻿ (Flint Island)）   法屬玻里尼西亞：從圖帕伊島西方掠過。（16°14′S 151°51′W﻿ / ﻿16.233°S 151.850°W﻿ / -16.233; -151.850﻿ (Tupai)）   法屬玻里尼西亞：從莫皮蒂島東方掠過。（16°26′S 152°13′W﻿ / ﻿16.433°S 152.217°W﻿ / -16.433; -152.217﻿ (Maupiti)）   法屬玻里尼西亞：從波拉波拉島西方掠過。（16°28′S 151°47′W﻿ / ﻿16.467°S 151.783°W﻿ / -16.467; -151.783﻿ (Bora Bora)） |
| 60°0′S 152°0′W﻿ / ﻿60.000°S 152.000°W﻿ / -60.000; -152.000﻿ (Southern Ocean) | 南冰洋 |  |
| 77°20′S 152°0′W﻿ / ﻿77.333°S 152.000°W﻿ / -77.333; -152.000﻿ (Antarctica) | 南極洲 |  新西兰主張的羅斯屬地。 |
參見

西經151度線
西經153度線
參考來源

↑  T. Vincenty.  (PDF). 1975-04  [2018-12-16]. （原始内容存档 (PDF)于2013-01-28） （英语）.
↑  . Movable type scripts.   [2017-05-17]. （原始内容存档于2013-01-28） （英语）.
菲律賓國旗

| --- | --- |


用途: 海陸通用國旗​
比例: 1:2
啟用日期: 1898年5月19日
形式: 靠旗杆的一邊是一個等邊三角形，三角形的每一個角都有一顆星星，而三角形的中央就有一個太陽。三角形的右側就是藍紅兩色。
 
菲律賓國旗靠旗杆的一邊是一個等邊三角形，代表菲律賓人民對和平與安寧的盼望，三角形每個角都有一顆星星，總數為三個，代表菲律賓的三個岛组：呂宋、米沙鄢和棉兰老。而三角形的中央就有一個太陽，代表自由的光芒已普照整個菲律賓。三角形的右側就是藍紅兩色，藍色代表菲律賓人民忠誠、愛國的精神，紅色代表菲律賓人民勇往直前的民族氣概。
在美國統治初期，根據1907年的《國旗法》，展示菲律賓國旗和其他與卡蒂普南有關的旗幟和橫幅的展示是非法的（視為煽動叛亂）。該禁令於1919年10月24日廢除。
战时国旗

| 菲律賓战时国旗 | 介紹 |
| --- | --- |
: 发生战乱时，国旗翻到反面倒挂起来，红色向上，寓意着“菲律宾进入战争状态”，需要民众拿出“勇气”对抗敌人。菲律宾是唯一规定战乱时期国旗格式的国家。
菲律賓歷史上曾經使用戰時國旗的時期包括菲美戰爭、第二次世界大戰、柯拉蓉·艾奎諾總統任內面對政變陰謀（英语：）時，以及2001年5月1日的暴亂（英语：）。
设计

| 绘制方法 | 标准 |
| --- | --- |
:  国旗长宽比为2:1，白色三角形边长与国旗宽度相同，每颗五角星的一个角指向三角形的一角。
色彩：
| 标准 | 蓝 | 红 | 白 | 黄 |
| --- | --- | --- | --- | --- |
| 美国色彩协会 | 80173 | 80108 | 80001 | 80068 |
| 彩通 | 286 | 186 | n.a. | 116 |
| RGB | 0-56-168 | 206-17-38 | 255-255-255 | 252-209-22 |
| CMYK | C100-M60-Y0-K5 | C0-M90-Y65-K10 | n.a. | C0-M18-Y85-K0 |
| 网页色彩 | #0038A8 | #CE1126 | #FFFFFF | #FCD116 |
歷代國旗

1785年-1873年
1873年-1874年
1874年-1898年
1898年-1901年
1919年-1936年
1943年-1945年
1946年-1985年
1985年-1986年(蓝色是淺蓝色)
1986年-1998年(浅蓝色改為深蓝色)
1998年至今
歷代國旗 > 國旗形式

菲律賓國旗；淺藍色
菲律賓國旗；深藍色
菲律賓國旗；3:2形式
建议国旗

更改菲律宾国旗的建议
菲律宾国旗与拟议的第九射线。
奥索里奥的提议
前总统菲德尔·拉莫斯的提议
前总统菲德尔·拉莫斯的另一项建议
使用 > 效忠誓言

对菲律宾国旗宣誓时使用的誓言如下：
| --- | --- |
 菲律宾语 Ako ay Pilipino Buong katapatang nanunumpa Sa watawat ng Pilipinas At sa bansang kanyang sinasagisag Na may dangal, katarungan at kalayaan Na pinakikilos ng sambayanang Maka-Diyos Maka-tao Makakalikasan at Makabansa. :  中文译文 我是菲律宾公民 我宣誓效忠于 菲律宾国旗 和它所代表的国家 将荣誉、正义和自由 置于国家的行动中 为上帝 为人民 为自然 且为这个国家。