stanford-oval/wikipedia huggingface dataset:
臺中市烏日區烏日國民小學
參考資料

↑  . 台中市政府教育局.   [2022-03-23].
泛凱爾特主義

泛凱爾特主義旗幟，1950年由羅伯特·伯特里耶（Robert Berthelier）設計，以兩個三曲腿圖組成。
著色的部分是凱爾特六國
泛凱爾特主義（英語：），或凱爾特民族主義（英語：），是一個政治、社會和文化運動，倡導凱爾特人（蓋爾人和凱爾特布立吞人分支）和西北歐現代凱爾特人之間的團結與合作。一些泛凱爾特主義組織提倡凱爾特人應從聯合王國和法蘭西分離出來，並建立屬於自己的獨立聯邦國家，有些則只是在愛爾蘭民族主義、蘇格蘭民族主義、威爾斯民族主義、布列塔尼民族主義、康沃爾民族主義和曼克斯民族主義的架構下提倡主權獨立的凱爾特國家之間的密切合作。
相關條目

凱爾特國家
凱爾特聯盟
泛民族主義
參考文獻

↑  Ellis, Peter Berresford. .   [19 January 2010]. （原始内容存档于2020-08-20）.
外部連結

The Celtic League （页面存档备份，存于）
Celtic Congress （页面存档备份，存于）
Map of Celtic Nations
Columba Initiative （页面存档备份，存于）
The Celtic Realm
Campaign for a Cornish Assembly （页面存档备份，存于）
Proposal for a Celtic Confederation
波氏艾狼蛛

| 波氏艾狼蛛 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 蛛形纲 Arachnida
目：: 蜘蛛目 Araneae
科：: 狼蛛科 Lycosidae
属：: 艾狼蛛属 Evippa
种：: 波氏艾狼蛛 E. potanini
二名法
Evippa potanini (Schenkel, 1963)

波氏艾狼蛛（学名：）为狼蛛科艾狼蛛属的动物。分布于蒙古以及中国大陆的四川、陕西、新疆、青海、河南等地，一般生活于荒漠草原、树林以及草丛等。该物种的模式产地在四川。
米爾托納 (明尼蘇達州)

| 米爾托納 Miltona |
| --- | --- |
城市
 米爾托納在道格拉斯縣及明尼蘇達州的位置（以紅色標示）
米爾托納米爾托納在明尼蘇達州的位置
坐标： 46°02′47″N 95°17′36″W﻿ / ﻿46.04639°N 95.29333°W﻿ / 46.04639; -95.29333
國家: 美国
州份: 明尼蘇達州
縣: 道格拉斯縣
面积
 • 总计: 1.74 平方公里（0.67 平方英里）
 • 陸地: 1.74 平方公里（0.67 平方英里）
 • 水域: 0.00 平方公里（0.00 平方英里）
海拔: 426 公尺（1,398 英尺）
人口（2020）
 • 總計: 431人
 • 密度: 248人/平方公里（642人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 56354
電話區號: 320（英语：）
GNIS ID: 2395336
米爾托納（英語：）是一個位於美國明尼蘇達州道格拉斯縣的城市。
人口

根據2020年美國人口普查的數據，米爾托納的面積為1.74平方千米，當中陸地面積為1.74平方千米，而水域面積為0.00平方千米。當地共有人口431人，而人口密度為每平方千米248人。
參考文獻

1 2  . United States Census Bureau.   [2022-05-21]. （原始内容存档于2022-05-28）.
↑  . . United States Geological Survey.
沂源县

| 沂源县 |
| --- | --- |
县

 沂源县的地理位置
坐标：36°11′06″N 118°10′12″E﻿ / ﻿36.185°N 118.17°E﻿ / 36.185; 118.17
国家:  中华人民共和国
隶属行政区: 山东省淄博市
語源: 因沂河发源于此
政府駐地: 南麻镇
下级行政区:  10个镇、2个街道 10镇 2街道 
面积
 • 总计: 1,635.8 平方公里（631.6 平方英里）
人口（2020年）
 • 常住: 515,058人
 • 密度: 315人/平方公里（815人/平方英里）
 • 城镇: 263,000人
时区: 北京时间（UTC+8）
郵政編碼: 256100
電話區號: 533
行政区划代码: 370323
網站: www.yiyuan.gov.cn
沂源县是山东省淄博市下辖的县，位于山东省中部的沂蒙山区之中，因沂河发源与此而得名。1944年由原沂水、蒙阴、临朐三县析置。
沂源县是革命老区之一，民风豪爽淳厚。县人民政府驻南麻镇振兴路61号。
歷史

1938至1939年，國民黨山東省政府曾駐魯村和東里店。
1947年6月25日-7月21日，發生解放軍損失慘重的南麻戰役。
1950年5月，改属沂水专区。
1953年8月，沂水专区撤销后改属临沂专区。
1978年7月，临沂专区改称临沂地区行政公署，沂源县属之。
1990年1月1日，沂源县划入淄博市。
人口

2021年，沂源县出生人数3765人，出生率6.57%；死亡人数3473人，死亡率6.06%，人口自然增长率0.51%。户籍人口总户数215631户，总人口572476人，其中男性290691人，女性281785人。
行政区划

沂源县下辖2个街道办事处、10个镇：
历山街道、​南麻街道、​鲁村镇、​东里镇、​悦庄镇、​西里镇、​大张庄镇、​中庄镇、​张家坡镇、​燕崖镇、​石桥镇和南鲁山镇。
交通

341国道过境。
特产

沂蒙全蝎：珍贵中药材之一，特征为2钳8足（其他地方的蝎子一般是2钳6足）。主产地有沂源、蒙阴。
沂蒙黑山羊：沂蒙黑山羊是山东省牧区优良羊种之一，属绒、毛、肉兼用型羊。主要特点是头短、额宽、眼大、角长而弯曲（95％以上的羊有角）。颔下有胡须，背腰平直，胸深肋圆，体躯粗壮，四肢健壮有力，耐粗抗病，合群性强。
沂蒙黑山羊的肉营养丰富，含蛋白质13.3%，脂肪4.6%，热量367卡。羊肉质柔软易于消化，一般健康人可消化羊肉中粗蛋白90％以上，脂肪98％以上。沂蒙黑山羊肉细嫩，色红均匀，膻味小，食用时味香而不腻口。含脂肪比牛肉多2倍，热量超过牛肉1倍多，含钙量比牛肉多50％，和猪肉差不多，含铁质比牛肉多1倍多，比猪肉多4倍，胆固醇含量低。富含多种微量元素，是肉食中的佳品，在国际市场上有一定声誉。屠宰率为44.2%。好的山羯羊屠宰率达57.7%。
该羊生长在沂蒙山区海拔较高的突出地带蒙山、鲁山及沂、沭河上游。这里气候温和，雨量充沛，树木、水草茂盛，饲料资源丰富。该山羊灵敏活泼、爱吃吊草，素有“山羊猴子”之称。它善于爬山，能在高山悬崖陡壁上放牧采食；喜高燥，爱干净，不吃污染饲草。饲养方式是长年放牧。抓膘期在农历七、八、九月份。
燕子石：燕子石又名蝙蝠石，学名三叶虫化石，生成于古生代寒武纪后期，距今已有五亿多年的历史，是早古生代的一种海洋动物化石，也是中国稀有的古生物化石之一。化石上三叶虫的形骸如春燕穿柳，似蝴蝶寻芳，浮雕般凝于岩板层面。沂源燕子石的主产地在燕崖乡。
旅游资源

沂源溶洞群：北方著名溶洞群，位于县城西北13公里的土门镇，鲁山南侧。在近五平方公里境内，有大小洞穴四十余个，称“江北第一溶洞群”。
千人洞：洞高30余米，地质上称为“山东一号洞”。曾在此发现沂源猿人的活动遗迹。目前仅余宽大的洞室。1990年代初期第一批开放的三个溶洞之一。
养神洞：第一批开放的三个溶洞之一。全长800余米的分支型洞穴，有石林叠瀑、雄狮把门、唐僧取经、王母宫、水族宫等48处景观，有一定观赏价值。
石龙洞：第一批开放的三个溶洞之一。洞长218米的厅堂式洞穴，因洞内数条天然石龙而得名，其中两条形态真切。洞内有双龟把门、龙王宫、银河相会、云霞岛、龙蛇相斗等景观，观赏价值较好。
玄云洞：第二批开放的溶洞。总长300米的通道式分支型洞穴，分上下两层，上下层由一垂直的落水洞相连。洞内钟乳石形态极多，呈现石旗、石带、石幔、石瀑、石葡萄各种样式，且有声音优美的片状钟乳石（石筝）。旅游观赏价值很高。因开发初期保护不善，很多珍贵钟乳石有损毁。
其他：“九天洞”、“珊瑚洞”、“灵芝洞”、“神仙洞”等。
地方美食：
大锅全羊：具有地方特色的历史风俗，在每年农历七月十五到八月十五期间吃全羊。炊具为1米见方的大铁锅，除羊肉之外，羊下水（内脏）也都洗净入锅，羊头、羊蹄烧烤(用以除毛)后入锅，整个制作过程需要3-5个小时。羊血单独制作，羊肉煮熟后带汤盛入盆或大汤盘中，羊血以血豆腐形式在羊肉上方放些许，最上方撒上香菜段，一盘汤白、肉红再配以香菜鲜绿的色香味俱全的“大锅全羊”就可上桌了。一只羊仅余羊皮（历史上送给屠宰员作为酬劳）。大锅全羊营养温补，味道浓郁，是深受本地欢迎的地方名吃。
地方轶闻

荆山寺
义犬救主
桑树峪
秃尾巴黑龙老李
新市街道

新市街道可以指：
新市街道 (临江市)，中华人民共和国吉林省白山市临江市下辖的街道
新市街道 (广州市)，中华人民共和国广东省广州市白云区下辖的街道
新市街道 (西安市)，中华人民共和国陕西省西安市临潼区下辖的街道
新市街道 (重庆市)，中华人民共和国重庆市长寿区下辖的街道
新市街道 (京山市)，中华人民共和国湖北省荆门市京山市下辖的街道
新市街道 (汨罗市)，中华人民共和国湖南省岳陽市汨罗市下辖的镇
波氏舞蛛

| 波氏舞蛛 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 蛛形纲 Arachnida
目：: 蜘蛛目 Araneae
科：: 狼蛛科 Lycosidae
属：: 舞蛛属 Alopecosa
种：: 波氏舞蛛 A. potanini
二名法
Alopecosa potanini (Schenkel, 1963)

波氏舞蛛（学名：）为狼蛛科舞蛛属的动物。在中国大陆，分布于内蒙古等地。该物种的模式产地在内蒙古。
索爾特河 (亞利桑那州)

| 索爾特河 |
| --- | --- |
非建制地區
索爾特河索爾特河在亞利桑那州的位置
坐标：33°28′00″N 111°51′51″W﻿ / ﻿33.46667°N 111.86417°W﻿ / 33.46667; -111.86417
國家: 美国
州份: 亞利桑那州
縣: 馬里科帕縣
海拔: 370 公尺（1,220 英尺）
时区: 北美山區時區（UTC-7）
 • 夏时制: MDT（UTC-6）
電話區號: 480（英语：）
地名信息系统ID: 044982
索爾特河（英語：）是位於美國亞利桑那州馬里科帕縣的一個非建制地區。該地的面積和人口皆未知。
地理

索爾特河的座標為33°28′00″N 111°51′51″W﻿ / ﻿33.46667°N 111.86417°W﻿ / 33.46667; -111.86417，而該地的平均海拔高度為370米（即1220英尺）。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
波洛 (伊利諾伊州)

| 波洛 Polo |
| --- | --- |
城市


坐标：41°59′13″N 89°34′38″W﻿ / ﻿41.98694°N 89.57722°W﻿ / 41.98694; -89.57722
國家: 美国
州份: 伊利諾伊州
縣: 奧格爾縣
面积
 • 总计: 3.51 平方公里（1.36 平方英里）
 • 陸地: 3.51 平方公里（1.36 平方英里）
 • 水域: 0.00 平方公里（0.00 平方英里）
海拔: 263 公尺（863 英尺）
人口（2010）
 • 總計: 2,355人
 • 密度: 671人/平方公里（1,738人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 61064
電話區號: 815（英语：）
GNIS ID: 415991
波洛（英語：）是一個位於美國伊利諾伊州奧格爾縣的城市。
地理

波洛的座標為41°59′13″N 89°34′38″W﻿ / ﻿41.98694°N 89.57722°W﻿ / 41.98694; -89.57722，而該地的平均海拔高度為263米（即863英尺）。
人口

根據2010年美國人口普查的數據，波洛的面積為3.51平方千米，當中陸地面積為3.51平方千米，而水域面積為0.00平方千米。當地共有人口2355人，而人口密度為每平方千米670.94人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
第十一届全国人民代表大会常务委员会

第十一届全国人民代表大会常务委员会共有175人組成，其中委員長、副委員長、秘書長16名，委員159名，任期由2008年3月至2013年3月，期間共召開31次全體會議。
组成人员 > 委员长

吴邦国
组成人员 > 副委员长

王兆国　　中共第十七届中央政治局委员、全国人大常委会副委员长、党组副书记，中华全国总工会主席
路甬祥 院士　　全国人大常委会副委员长，中国科学院院长、党组书记，中国科学院院士、中国工程院院士
乌云其木格（女，蒙古族）　全国人大常委会副委员长、党组成员
韩启德 院士　　全国人大常委会副委员长，中国共产党党员、九三学社中央主席，中国科学技术协会主席，中国科学院院士，北京大学医学部主任，欧美同学会·中国留学人员联谊会会长，中国人民争取和平与裁军协会会长
华建敏　　全国人大常委会副委员长、党组成员，中国红十字会会长
陈至立（女）　　全国人大常委会副委员长、党组成员，全国妇联主席
周铁农　　全国人大常委会副委员长，民革中央主席，中国国际交流协会会长
李建国　　全国人大常委会副委员长、党组成员兼秘书长、机关党组书记，中央综治委副主任
司马义·铁力瓦尔地（维吾尔族）　全国人大常委会副委员长、党组成员
蒋树声　　全国人大常委会副委员长、民盟中央主席
陈昌智　　全国人大常委会副委员长、民建中央主席
严隽琪（女）　　全国人大常委会副委员长，民进中央主席，中央社会主义学院院长，中国人民争取和平与裁军协会副会长
桑国卫 院士　　全国人大常委会副委员长，农工党中央主席，中国药品生物制品检定所研究员、中国药学会理事长，中国科学院院士
组成人员 > 秘书长

李建国（兼）
组成人员 > 委员

（按姓名笔划排列）
丁仲礼、马启智（回族）、马福海（回族）、王万宾、王云龙、王云坤、王宁生、王佐书、王陇德、王建民、乌日图（蒙古族）、方新（女）、尹成杰、邓秀新、石秀诗、石泰峰、龙刚（苗族）、田玉科（女，土家族）、白克明、白景富、丛斌、冯长根、达列力汗·马米汗（哈萨克族）、列确（藏族）、吕薇（女）、朱文泉、朱永新、朱志刚、朱启、乔传秀（女）、乔晓阳、任茂东、庄先、刘振伟、刘锡荣、刘新成、刘德培、齐续春（满族）、汤小泉（女）、许永跃、许志琴（女）、许振超、许智宏、孙文盛、孙安民、牟新生、严以新、李东生、李传卿、李连宁、李建华、李适时、李重庵、李祖沛、李乾元、李慎明、李肇星、杨正午（土家族）、杨永良、杨邦杰、杨岳、杨贵新（女，侗族）、杨德清、吴启迪（女）、吴晓灵（女）、何晔晖（女）、余振贵（回族）、邹萍（女，彝族）、汪光焘、汪纪戎（女）、汪恕诚、汪毅夫、沈春耀、宋法棠、张少琴、张中伟、张兴凯、张学忠、张柏林、张美兰（女，哈尼族）、张继禹、陆兵（壮族）、阿不都热依木·阿米提（维吾尔族）、陈玉杰（女）陈伟兰（女）、陈秀榕（女）、陈希明（女）、陈述涛（满族）、陈佳贵、陈宜瑜、陈骏、陈斯喜、姒健敏、范徐麗泰（女）、林强、卓新平（土家族）、金炳华、金硕仁（朝鲜族）、周玉清、周本顺、周声涛、庞丽娟（女）、郑功成、郑申侠、郑荃、郎胜、赵可铭、赵胜轩、郝如玉、郝益东、胡彦林、胡振鹏、胡康生、南振中、查培新、哈斯巴根（蒙古族）、信春鹰（女）、侯义斌、侯建国、姜兴长、姜福堂、姚建年、賀一誠、贺旻（女）、贺铿、袁驷、索丽生、倪岳峰、徐荣凯、徐显明、高祀仁、高洪（白族）、郭凤莲（女）、郭雷、唐天标、唐世礼（女，布依族）、黄丽满（女）、黄跃金、黄智权、黄镇东、黄燕明、曹伯纯、龚学平、符桂花（女，黎族）、梁国扬、隋明太、彭祖意（瑶族）、蒋庄德、韩寓群、辜胜阻、程贻举、程津培、温孚江、谢克昌、蒲海清、雷鸣球、虞云耀、嘉木样·洛桑久美·图丹却吉尼玛（藏族）、蔡昉、裴怀亮、管国芳（女，傣族）
组成人员 > 其他工作人员 > 副秘書長

（除注明外，均由2008年3月19日第十一届全国人民代表大会常务委员会第一次会议通过任命）
王万宾
乔晓阳
张少琴
曹卫洲
王庆喜（2011年4月22日第十一届全国人民代表大会常务委员会第二十次会议免去）
李连宁
何晔晖（女）
孙　伟（2011年4月22日第十一届全国人民代表大会常务委员会第二十次会议免去）
刘振伟（2008年12月27日第十一届全国人民代表大会常委会第六次会议免去）
韓曉武（2008年12月27日第十一届全国人民代表大会常务委员会第六次会议任命）
沈春耀（2011年4月22日第十一届全国人民代表大会常务委员会第二十次会议任命）
刘水生（2011年4月22日第十一届全国人民代表大会常务委员会第二十次会议任命）
脊检测

脊检测（英語：）為試圖尋找相片中的脊的位置之方法。在數學及電腦視覺等領域中，一個雙變數光滑函數的脊（或是稱作為脊集合）是所有至少在一個維度中是局部最大值的點所形成的曲線的集合，就如同地理上山脊的概念。而一個 N變數函數的脊，是所有在 N-1個維度中是局部最大值的點所形成的曲線的集合。脊可以看作是局部最大值的延伸。相對的，一個函數的谷可以以類似的方式定義，只要以局部最小值取代脊定義中的局部最大值的部份。
脊集合與谷集合表現了一個函數直覺上的幾何資訊，因此可以提供一種對於函數特徵的簡潔呈現。圖像分析及電腦視覺為了獲得相片中物件延伸特性的資訊，利用了脊集合與谷集合的特性而有脊检测及谷检测。相關的應用像是在分水嶺演算法中被使用以進行圖像分割，或是利用相片中的脊與谷去計算物件可能的形狀等等。此種幾何資訊的表示方式，若只有進行單一尺度的計算，容易會受到雜訊的干擾。根據尺度空間理論，多重尺度的脊與谷可以透過相片經過高斯金字塔的預先處理獲得，藉此應該可以產生對於物件更穩定的描述。
二維相片中單一尺度的脊與谷的微分幾何定義

令  f(x,y)為一個二維函數，而 L為 f(x,y)的尺度空間表示，此種表示可以透過 f(x,y)與高斯函數的摺積獲得。
在單一尺度下，高斯函數中的 t為一定值。
透過旋轉的方式，可以找到一組直角座標 (p,q)使得  L_{pq}=0，其中的方向導數運算子，
進一步帶入海森矩陣中。
不難看出 L_{pp},L_{qq}即為海森矩陣的特徵值，而旋轉矩陣的旋轉角度可以由海森矩陣的特徵向量所決定。
有了恰當的旋轉後，便可以正式的定義函數 f(x,y) 在單一尺度下的脊，脊包含所以符合以下條件的點。
相對應的谷，谷包含所有符合以下條件的點。
相似的，也可以將座標旋轉，使得新座標 (u,v)中， v的方向平行相片的梯度，而 u的方向垂直相片的梯度。
此時的旋轉角度為，
以下的定義可以被證明與前述的是等價的
其中
由 L_{uu}的正負號決定一個點是脊或是谷， L_{uu}<0是脊而 L_{uu}>0是谷.
計算二維相片在變化尺度下的脊

單一尺度脊的主要問題是對於雜訊非常敏感，實驗證實尺度的選擇需要特別的調整才能得到一組能夠反應相片中結構的脊。為了在缺乏過往經驗時處理這個問題，而有了尺度空間脊的概念，此時尺度大小這個變數被當作是脊定義的固有特性，尺度可以在尺度空間中變化。此種概念使得尺度可以被自動的調整到反應相片結構的大小，以下有多種方法皆是基於此。
令 R(x,y,t)為一個描述脊強度的函數（底下有詳細定義）。則對於一個二維相片，尺度空間脊包含所有符合以下條件的點，
其中  t 為尺度空間表示中的尺度. 相似的，尺度空間谷包含所有符合以下條件的點，
如此定義下，可以想像尺度空簡脊為三維空間中一些一維曲線的集合（原本相片的二維加上尺度空間一維），而最後呈現的脊便是這些曲線在相片平面上的投影。
當初Lindeberg (1996, 1998) 提出了尺度空間脊時，他考慮了三個描述脊強度的函數。
主曲率
特徵值差的平方經 \gamma -標準化後的平方
特徵值差經 \gamma -標準化後的平方
L_{pp,\gamma -norm}是一個通用性的描述函數，常被用在血管偵測及道路提取等應用中，而 A_{\gamma -norm}則被用在指紋的增強，即時手部追蹤及手勢辨識，以及利用局部影像統計偵測追蹤影像或影片中的人。
歷史

脊與谷第一次被使用在數位影像的領域中是在由Haralick於1983及Crowley於1984對於高斯金字塔的想法 ，脊在醫學影像中的應用則有Pizer及其同事的深入研究 及他們所提出的M-reps。 脊检测因Lindeberg加入了 \gamma -標準化導數及尺度空間脊等概念而有所提昇。這些概念之後由Steger等人使用在道路提取 ，由Frangi等人使用在血管的分割 以及由Satos等人及Krissian等人使用在曲線及管狀結構的偵測中。
N維空間中脊與谷的定義

脊的概念，推廣了實數函數的局部最大值。一個在  f:\mathbb {R} ^{n}\rightarrow \mathbb {R} 定義域中的點 \mathbf {x} _{0}，若存在一個距離 \delta >0使得所有在這個距離內的都符合 f(\mathbf {x} )<f(\mathbf {x} _{0})，則點 \mathbf {x} _{0}是一個局部最大值。
稍微放寬一下這個條件，若所有在 \mathbf {x} _{0}的附近的點 \mathbf {x} 中 n-1維的子集合，皆符合 f(\mathbf {x} )<f(\mathbf {x} _{0})，則 \mathbf {x} _{0}便是脊上的一個點。這樣的放寬，給予了脊一個維度的自由，也就是說脊會是一個一維的曲線。同樣的概念套用到局部最小值上，可以得到一維的谷曲線。
以下的定義是根據Eberly的著作，可以被當作是之前的脊的定義的推廣。令 U\subset \mathbb {R} ^{n}為一個開放集合，且 f:U\rightarrow \mathbb {R} 是一個光滑函數。令 \mathbf {x} _{0}\in U。令 \nabla _{\mathbf {x} _{0}}f為 f在點 \mathbf {x} _{0}的梯度。令 H_{\mathbf {x} _{0}}(f)為函數 f在點 \mathbf {x} _{0}的 n\times n海森矩陣。令 \lambda _{1}\leq \lambda _{2}\leq \cdots \leq \lambda _{n}為 n個 H_{\mathbf {x} _{0}}(f)的排序好的特徵值，並令 \mathbf {e} _{i}為對應到 \lambda _{i}的單位特徵向量。(在此，假設所有特徵值是相異的)
點 \mathbf {x} _{0}在一維的脊上若:
\lambda _{n-1}<0且
\nabla _{\mathbf {x} _{0}}f\cdot \mathbf {e} _{i}=0 for  i=1,2,\ldots ,n-1.
這精確地限制了 f在特定的 n-1維中在點  \mathbf {x} _{0}有局部最大值。
這樣的定義很自然的可以被推廣到成k維的脊，一個點 \mathbf {x} _{0}在k維脊上若
\lambda _{n-k}<0且
\nabla _{\mathbf {x} _{0}}f\cdot \mathbf {e} _{i}=0 for  i=1,2,\ldots ,n-k.
最大尺度脊

以下的定義可以被追溯到Fritsch，當初他對如何從二維灰階相片中提取幾何資訊十分感興趣，他使用了medialness濾鏡處理相片，得到了一種類似各點到邊緣距離在尺度空間的資料，而這種資料的脊若是再疊加回原本的相片上，與原本相片的形狀骨骼（如Blum的中軸）十分相似。
最大尺度脊定義在一個三維的函數上，其中二維是相片平面，一維是尺度空間。其中我們想要以下的條件為真，若 (\mathbf {x} ,\sigma )是一個在最大尺度脊上的點，則函數在這個點上的值在尺度軸上是極大值。令 f(\mathbf {x} ,\sigma )為一個光滑可微分的函數於 U\subset \mathbb {R} ^{2}\times \mathbb {R} _{+}。則 (\mathbf {x} ,\sigma )是在最大尺度脊上的點若且唯若
{\frac {\partial f}{\partial \sigma }}=0 and  {\frac {\partial ^{2}f}{\partial \sigma ^{2}}}<0, and
\nabla f\cdot \mathbf {e} _{1}=0 and  \mathbf {e} _{1}^{t}H(f)\mathbf {e} _{1}<0.
參見

尺度空間
特征检测
边缘检测
興趣點检测
斑點检测
電腦視覺
參考資料

↑  T. Lindeberg. . Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed), John Wiley and Sons. 2008/2009, IV: 2495–2504  [2015-07-01]. doi:10.1002/9780470050118.ecse609. （原始内容存档于2019-09-07）.  请检查|date=中的日期值 (帮助)
↑  Lindeberg, T. . J. of Applied Statistics. 1994, 21 (2): 224–270  [2015-07-01]. doi:10.1080/757582976. （原始内容存档于2019-09-07）.
↑  Lindeberg, T. . International Journal of Computer Vision. 1998, 30 (2): 117–154  [2015-07-01]. doi:10.1023/A:1008097225773. （原始内容存档于2006-07-09）.  Earlier version presented at IEEE Conference on Pattern Recognition and Computer Vision, CVPR'96, San Francisco, California, pages 465–470, june 1996
↑  Almansa, A., Lindeberg, T. . IEEE Transactions on Image Processing. 2000, 9 (12): 2027–42  [2015-07-01]. PMID 18262941. doi:10.1109/83.887971. （原始内容存档于2019-09-07）.
↑  .   [2015-07-01]. （原始内容存档于2019-07-22）.
↑  Sidenbladh, H., Black, M.  (PDF). International Journal of Computer Vision. 2003, 54 (1–2): 183–209  [2015-07-01]. （原始内容存档 (PDF)于2017-07-05）.
↑  Haralick, R. . Computer Vision, Graphics, and Image Processing. April 1983, 22 (10): 28–38. doi:10.1016/0734-189X(83)90094-4.
↑  Crowley, J.L., Parker, A.C.  (PDF). IEEE Trans Pattern Anal Mach Intell. March 1984, 6 (2): 156–170  [2015-07-01]. PMID 21869180. doi:10.1109/TPAMI.1984.4767500. （原始内容存档 (PDF)于2016-03-03）.
↑  Crowley, J.L., Sanderson, A.  (PDF). IEEE Trans Pattern Anal Mach Intell. January 1987, 9 (1): 113–121  [2015-07-01]. doi:10.1109/TPAMI.1987.4767876. （原始内容存档 (PDF)于2017-08-30）.
↑  Gauch, J.M., Pizer, S.M. . IEEE Trans Pattern Anal Mach Intell. June 1993, 15 (6): 635–646. doi:10.1109/34.216734.
↑  Eberly D., Gardner R., Morse B., Pizer S., Scharlach C. . Journal of Mathematical Imaging and Vision. December 1994, 4 (4): 353–373. doi:10.1007/BF01262402.
↑  Pizer, Stephen  M., Eberly, David, Fritsch, Daniel S. . Computer Vision and Image Understanding. January 1998, 69 (1): 55–71. doi:10.1006/cviu.1997.0563.
↑  .   [2015-07-01]. （原始内容存档于2007-03-10）.
↑  Steger C. . IEEE Trans Pattern Anal Mach Intell. 1998, 20 (2): 113–125  [2022-03-26]. doi:10.1109/34.659930. （原始内容存档于2012-02-05）.
↑  Laptev I., Mayer H., Lindeberg T., Eckstein W., Steger C., Baumgartner A.  (PDF). Machine Vision and Applications. 2000, 12 (1): 23  [2015-07-01]. doi:10.1007/s001380050121. （原始内容存档 (PDF)于2021-04-15）.
↑  Frangi AF, Niessen WJ, Hoogeveen RM, van Walsum T, Viergever MA. . IEEE Trans Med Imaging. October 1999, 18 (10): 946–56. PMID 10628954. doi:10.1109/42.811279.
↑  Sato Y, Nakajima S, Shiraga N, Atsumi H, Yoshida S;  et al.  (PDF). Medical Image Analysis. 1998, 2 (2): 143–168  [2015-07-01]. doi:10.1016/s1361-8415(98)80009-1. （原始内容存档 (PDF)于2018-03-24）.  引文格式1维护：显式使用等标签 (link)
↑  Krissian K., Malandain G., Ayache N., Vaillan R., Trousset Y. . Computer Vision and Image Understanding. 2000, 80 (2): 130–171. doi:10.1006/cviu.2000.0866.
↑  Eberly, D. . Kluwer. 1996. ISBN 0-7923-4268-2.
↑  Fritsch, DS, Eberly,D., Pizer, SM, and McAuliffe, MJ. "Stimulated cores and 
their applications in medical imaging."   Information Processing in Medical Imaging, Y. Bizais, C Barillot, R DiPaola, eds., Kluwer Series in Computational Imaging and Vision, pp. 365–368.
紅矩安蛺蝶

| 紅矩安蛺蝶 |
| --- | --- |

紅矩安蛺蝶 Anaea troglodyta portia

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 昆虫纲 Insecta
目：: 鱗翅目 Lepidoptera
总科：: 鳳蝶總科 Papilionoidea
科：: 蛺蝶科 Nymphalidae
属：: 安蛱蝶属 Anaea Hüber, 1819
种：: 紅矩安蛺蝶 A. troglodyta
二名法
Anaea troglodyta (Fabricius, 1775)

亞種
 共9個亞種，詳見正文。
異名
 詳見正文。
紅矩安蛺蝶（學名：Anaea troglodyta）是蛺蝶科螯蛺蝶亞科安蛺蝶族中安蛺蝶屬之唯一一種。這種蝴蝶廣泛分佈於美國南部、墨西哥和安的列斯群島。
亞種

指名亞種 A. t. troglodyta
愛斯安蛺蝶 A. t. astina
艾地安蛺蝶 A. t. aidea
安達安蛺蝶 A. t. andria
古巴安蛺蝶 A. t. cubana
布雲安蛺蝶 A. t. bornquenalis
小安蛺蝶 A. t. minor
花安蛺蝶 A. t. floridalis
波特安蛺蝶 A. t. portia
異名

Anaea Hübner 1819
視作亞種
Anaea andria Scudder 1875
不正確的拼寫
Pyrrhanaea Röber 1888
Perrhanaea Druce 1905
Pyrrhanoea Unzicker 1911
Pyrrhauoea Unzicker 1911
Pyrrhauvea Unzicker 1911
Annae Fountaine 1913
Anea Köhler 1923
Anoea Weed 1923
Aenea Bryk 1953
參考文獻

↑  Lamas G ed. 2004. Checklist: Part 4A Hesperioidea - Papiionoidea. Gainesville: Scientific Publishers/Association of Tropical Lepidoptera.
↑  Brower, Andrew V. Z. 2009. Anaea Hübner 1819. Anaea troglodyta (Fabricius 1775). Version 22 May 2009 (under construction). http://tolweb.org/Anaea_troglodyta/70534/2009.05.22 （页面存档备份，存于） in The Tree of Life Web Project, http://tolweb.org/ （页面存档备份，存于）
寿建新 周尧 李宇飞. . 中國: 陝西科學技術出版社. 2006-04-01. ISBN 9787536936768 （中文（简体））.
新市鄉

新市鄉可以指：
新市镇 (渠县)，中华人民共和国四川省达州市渠县下辖的镇，原為新市鄉，後改制為鎮。
新市镇 (济南市)，中华人民共和国山東省济南市济阳区下辖的镇，原為新市鄉，後改制為鎮。
新市區 (台灣)，臺灣臺南市的一個區，原為臺南縣新市鄉
波氏螳属

| 波氏螳属 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 昆虫纲 Insecta
目：: 螳螂目 Mantodea
科：: 谷螳科 Rivetinidae
亚科：: 谷螳亚科 Rivetininae
族：: 谷螳族 Rivetinini
属：: 波氏螳属 Bolivaria Stal, 1877

种
 见正文
波氏螳属（学名：Bolivaria）为谷螳科的一个属。
下属物种

本属包括以下物种：
溪栖波氏螳 Bolivaria amnicola Mistshenko
短翅波氏螳 Bolivaria brachyptera Pallas, 1773
科尔达波氏螳 Bolivaria kurda Ramme, 1950
管 (工具)

許多的管子
管（英語：tube）是長型中空的硬質圓柱，用來傳送流體（液體或是氣體）或是保護電線或是光纖。英文的pipe也是和tube類似的物品。管子一般有一定的剛性，不過軟管是柔性的，沒有固定的截面。管子一般有其公稱管徑，或者用公稱外直徑或內直徑加上管厚來做為其規格。實際管子的尺寸多半不會是其公稱管徑，例如公稱管徑一英寸的管子，其內直徑或是外直徑多半都不是一英寸。不過也有許多的管子是用內直徑、外直徑或是管厚來表示。
標準

有許多有關管子的工業標準及政府標準。有關管子的生產製造也有許多標準，常用的如下：
ASTM A213 無縫鐵素體及奧氏體合金鋼鍋爐、過熱器，熱交換器管標準規格（Standard Specification for Seamless Ferritic and Austenitic Alloy-Steel Boiler, Superheater, Heat-Exchanger Tubes）
ASTM A269 無縫鐵素體及奧氏體不鏽鋼泛用管標準規格（Standard Specification for Seamless and Welded Austenitic Stainless Steel Tubing for General Service）
ASTM A270 無縫鐵素體及奧氏體不鏽鋼無菌管標準規格（Standard Specification for Seamless and Welded Austenitic Stainless Steel Sanitary Tubing）
ASTM A511 無縫鐵素體及奧氏體不鏽鋼結構管標準規格（Standard Specification for Seamless Stainless Steel Mechanical Tubing）
ASTM A513 電阻焊碳鋼及合金鋼結構管標準規格（Standard Specification for Electric-Resistance-Welded Carbon and Alloy Steel Mechanical Tubing）
ASTM A554 焊接不鏽鋼結構管標準規格（Standard Specification for Welded Stainless Steel Mechanical Tubing）
British Standard（英语：） 1387:1985 用於螺紋和套筒鋼管和管子的規格，適用於焊接及配合BS21的管螺紋（Specification for screwed and socketed steel tubes and tubulars and for plain end steel tubes suitable for welding or for screwing to BS 21 pipe threads）
ASTM材料標準包括許多不同的等級，用來標示特定的材料組成。其中最常用的如下：
TP 304
TP 316
MT 304
MT 403
MT 506
若是架設有關氫氣的管路，銅管及不鏽鋼管都需要事先清潔過（ASTM B 280）且/或認證符合設備用的等級。這是因為氫氣的特性：在有氧氣、氧化劑或是污染物存在時可能會爆炸、由於其原子直徑較小，很容易滲漏、而且在有壓力下，容易造成金屬的氢脆。
製造

有三種製造管子的方式：無縫製管（seamless）、焊接或是電阻焊接（英语：）（electric resistance welding，ERW）及冷拔焊（英语：）（drawn-over-mandrel，簡稱DOM）。
無縫管是用擠型或是辊式穿孔（英语：）方式製造。
焊接或電阻焊接（Electric resistance welding）是將金屬片折彎成管狀後，在邊緣部份焊接接合，因此在管的側面會有焊接縫。
冷拔焊（Drawn-over-mandrel）管是電阻焊接管再經過冷拔（cold-drawn）的製程，會經由模具及心軸（mandrel）引伸加工，以產生良好的焊接完整性、尺寸精度及表面精度等特性。
分類

鋼管依製管材質（即鋼種）可分為：碳素管及合金管、不鏽鋼管等。
碳素管又可分為普通碳素鋼管和優質碳素結構管。
合金管又可分為：低合金管、合金結構管、高合金管、高強度管。軸承管、耐熱耐酸不銹管、精密合金（如可伐合金）管以及高溫合金管等。
參考資料

↑  . HYSP Steel Pipe.   [2017-03-17]. （原始内容存档于2020-02-18）.
↑   . Metleader. 2023-11-10  [2023-11-21]. 原始内容存档于2023-11-21.
相關條目

水管
管子 (流體輸送)
銅質水管（英语：）
氫氣管道運輸（英语：）
液压机械
管路
彎管（英语：）
外部連結

Steeltubeinstitute.org
↑
汪麗玲

| 汪麗玲 |
| --- | --- |
性别: 女
出生:  中華民國南京市
国籍:  中華民國
配偶: 周一西
儿女: 1女
汪麗玲，台灣動保人士，流浪動物之家基金會創始人、前董事長，曾參加第二屆中國小姐。
生平

1960年獲選為第一屆中國小姐第三名。1961年，與馬維君、李秀英共同獲選第二屆中國小姐第一名；並於同年赴美國邁阿密角逐環球小姐。
約在1980年代時開始幫助流浪動物，除收養流浪貓狗外，當時還曾每天深夜帶著數十包米飯出外餵食流浪貓狗。1987年與一批動保人士籌設「流浪動物之家」，次年正式設立。1996年成立流浪動物之家基金會。2018年，卸任流浪動物之家基金會董事長一職（轉由鍾小平接任）。
家庭

1962年，汪麗玲與台灣省主席周至柔的兒子周一西結婚。育有一女。
參考資料

1 2 3  呂幼綸. . 台灣動物新聞網. 2015-10-18  [2019-01-11]. （原始内容存档于2020-03-13） （中文（臺灣））.
↑  高燈立. . 人間福報. 2008-01-25  [2019-01-11]. （原始内容存档于2019-01-12）.
↑  . 中央社. 1961-06-29  [2019-08-16].
↑  秦炳炎. . 中央社. 1961-05-15  [2019-08-16]. []
1 2  . 中國時報. 1991-12-13.
↑  李娉婷. . DPG動物友善網. 2019-07-22  [2019-08-16]. （原始内容存档于2020-11-24）.
新光摩天大樓登高大賽歷年冠軍列表

本表是動態列表，或許永遠不會完結。歡迎您參考可靠來源來。
此項列表，是收錄新光摩天大樓登高大賽歷年的冠軍及其成績。
說明

斜體字是指當年有刷新大會紀錄。
粗體字是指歷屆的最佳紀錄。
第六屆因舉辦「新光關係企業員工登高大賽」，故不納入此範圍。
男女最佳紀錄之成績採計，不分一般、壯年、長青組，團體組或混合／親子組不計最佳紀錄。
混合組＝男女雙人組，新制採用男女參賽者的成績累加，舊制則與親子組相同，以第一個先起跑的時間開始計算，再以最後到達終點的人之時間差距作為成績。
資料來源

（中文）林美姿. . 話題新聞 (聯合晚報). 1994年10月16日: 3.
（中文）楊金嚴. . 焦點 (聯合報). 1995年7月31日: 13.
（中文）. 工商活動 (經濟日報). 1996年7月30日: 26.
（中文）孫中英. . 話題 (聯合報). 1997年7月28日: 5.
（中文）孫中英. . 生活 (聯合報). 1999年8月9日: 6.
（中文）. 工商活動 (經濟日報). 2003年3月10日: 14.
（中文）鄭育容. . 綜合新聞 (聯合報). 2003年7月27日: B2.
（中文）陳欣文. . 焦點新聞 (經濟日報). 2003年12月21日: 3.
（中文）葉慧心. . 綜合要聞 (經濟日報). 2004年4月11日: 4.
（中文）孫中英. . 財經周日版 (聯合報). 2004年4月11日: C1.
（中文）. 金融活動 (經濟日報). 2004年8月3日: C1.
（中文）陳碧雲. . 活動要聞 (經濟日報). 2004年12月23日: B10.
（中文）. 2006年4月8日  [2007年3月14日]. （原始内容 (HTML)存档于2007年9月29日）.
（中文） (HTML). 2006年4月8日  [2007年3月14日]. （原始内容存档于2006年12月29日）.
（中文） (HTML). 2006年7月29日  [2007年3月14日]. （原始内容存档于2006年10月3日）.
（中文） (HTML). 2006年11月25日  [2007年3月14日]. （原始内容存档于2007年9月27日）.
（中文） (HTML). 2006年11月25日  [2007年3月14日]. [永久]
外部連結

（繁體中文）新光摩天大樓登高大賽 歷年成績
紅石斛

| 紅石斛 |
| --- | --- |


科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 单子叶植物 Monocots
目：: 天門冬目 Asparagales
科：: 蘭科 Orchidaceae
属：: 石斛蘭屬 Dendrobium
种：: 紅石斛 D. goldschmidtianum
二名法
Dendrobium goldschmidtianum Kraenzl., 1909

紅石斛（学名：）为蘭科石斛屬下的一个种。
扩展阅读

维基共享资源上的相關多媒體資源：紅石斛
維基物種上的相關：紅石斛
沙克爾福德 (加利福尼亞州)

| 沙克爾福德 |
| --- | --- |
人口普查指定地區

沙克爾福德沙克爾福德在加利福尼亞州的位置
坐标：37°36′54″N 120°59′27″W﻿ / ﻿37.61500°N 120.99083°W﻿ / 37.61500; -120.99083
國家: 美国
州份: 加利福尼亞州
縣: 斯坦尼斯洛斯縣
面积
 • 总计: 1.765 平方公里（0.681 平方英里）
 • 陸地: 1.739 平方公里（0.671 平方英里）
 • 水域: 0.026 平方公里（0.010 平方英里）
海拔: 26 公尺（85 英尺）
人口（2010年美國人口普查）
 • 總計: 3,371人
 • 密度: 1,910人/平方公里（4,947人/平方英里）
时区: 太平洋时区（UTC-8）
 • 夏时制: PDT（UTC-7）
美國郵區編號: 95351
電話區號: 209
地名信息系统ID: 1853416
沙克爾福德（英語：）是位於美國加利福尼亞州斯坦尼斯洛斯縣的一個人口普查指定地區。
地理

沙克爾福德的座標為37°36′54″N 120°59′27″W﻿ / ﻿37.61500°N 120.99083°W﻿ / 37.61500; -120.99083，而該地最高點為海拔高度26米（即85英尺）。
人口

根據2010年美國人口普查的數據，沙克爾福德的面積為1.765平方千米，當中陸地面積為1.739平方千米，而水域面積為0.026平方千米。當地共有人口3371人，而人口密度為每平方千米1,909人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
汤姆·克林

汤姆·克林
汤姆·克林（英語：，又譯作湯姆·科林, 1877年7月20日—1938年7月27日），来自凱瑞郡（County Kerry）的爱尔兰水手、南极探险家。
生平

他参加了南极探险英雄时代英国四次主要探险中的三次，包括罗伯特·斯科特1911至13年的Terra Nova探险。这次探险中克林独自在罗斯冰架上走了56公里以营救Edward Evans，最后获得阿尔伯特奖。
1901年，克林在新西兰HMS Ringarooma服役，志愿加入了斯科特1901年领导的英国国家南极探险，开始了探险生涯。他参加的最后一次南极探险则是Ernest Shackleton领导的帝国南极探险。
紫斑玉螺

| 紫斑玉螺 |
| --- | --- |


科学分类 
界：: 动物界 Animalia
门：: 軟體動物門 Mollusca
纲：: 腹足纲 Gastropoda
目：: 玉黍螺目 Littorinimorpha
科：: 玉螺科 Naticidae
属：: 玉螺屬 Natica
种：: 紫斑玉螺 N. pseustes
二名法
Natica pseustes Watson, 1881

紫斑玉螺（学名：），是异足目玉螺科玉螺属的一种。主要分布于台湾，常栖息在浅海底。
格蒂鎮區 (明尼蘇達州斯特恩斯縣)

| 格蒂鎮區 Getty Township |
| --- | --- |
行政鎮區
格蒂鎮區格蒂鎮區在明尼蘇達州的位置
坐标：45°38′00″N 94°57′00″W﻿ / ﻿45.63333°N 94.95000°W﻿ / 45.63333; -94.95000
國家: 美国
州份: 明尼蘇達州
縣: 斯特恩斯縣
面积
 • 总计: 93.66 平方公里（36.16 平方英里）
 • 陸地: 92.54 平方公里（35.73 平方英里）
 • 水域: 1.12 平方公里（0.43 平方英里）
海拔: 396 公尺（1,299 英尺）
人口（2020）
 • 總計: 347人
 • 密度: 3.7人/平方公里（9.6人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 320（英语：）
GNIS ID: 664264
格蒂鎮區（英語：）是位於美國明尼蘇達州斯特恩斯縣的一個行政鎮區。
歷史

格蒂鎮區於1865年設立，得名自早期定居者約翰·J·格蒂（John J. Getty）。
地方資料

格蒂鎮區的面積為93.66平方千米，當中陸地面積為92.54平方千米，而水域面積為1.12平方千米。根據2020年美國人口普查的數據，當地共有人口347人，而人口密度為每平方千米3.7人。
參考文獻

1 2  . 2020 United States Census. United States Census Bureau.   [2021-09-14].
↑  . . United States Geological Survey.
↑  Upham, Warren. . Minnesota Historical Society. 1920: 524.
泛函谓词

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型中，函数符号被建模为函数。
特别是，在形式语言中的符号 F 是函数符号，如果给定任何表示在语言中的一个对象的符号 x，F(x) 也是表示这个语言中一个对象的符号。在有类型逻辑中，F 是带有域类型 T 和陪域类型 U 的函数符号，如果给定表示类型 T 的一个对象的任何符号 x，F(x) 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号，类比于多于一个变量的函数；零 个变量的函数符号简单的是一个常量符号。
现在考虑这个形式语言的模型，它带有类型 T 和 U 被建模为集合 [T] 和 [U]，而类型 T 的每个符号 X 被建模为 [T] 中的元素 [x]。则 F 可以被建模为集合
它简单的是带有域 [T] 和陪域 [U] 的一个函数。[F(x)] = [F(y)] 只要 [x] = [y] 是一致性模型的要求。
介入新的函数符号

在允许介入新的谓词符号的谓词逻辑系统中，你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易的；给定函数符号 F 和 G，有一个新函数符号 F o G，它是 F 和 G 的复合，对于所有 x，满足 (F o G)(x) = F(G(x))。当然，等式的右边在有类型的逻辑中没有意义，除非 F 的域类型匹配 G 的陪域类型，这是定义复合的要求。
你还自动的获得特定的函数符号。在无类型逻辑中，有一个恒等谓词 id，对于所有 X 满足 id(x) = x。在有类型逻辑中，给定任何类型 T，有一个恒等谓词 idT，带有域和陪域类型 T；对于类型 T 的所有 x，它满足 idT(x) = x。类似的，如果 T 是 U 的一个子类型，则有一个域类型 T 和陪域类型  U 的包含谓词，它满足相同的等式；有与从旧类型构造新类型的其他方式相关联的额外的函数符号。
此外，你可以在证明了适当的定理之后定义泛函谓词。(如果你在证明了定理之后不允许介入新符号的形式系统下工作，那么你必须使用关系符号来处理，详见下一个章节)。特别是，如果你能够证明对于所有 x (或特定类型的所有 x)，存在一个唯一的 y 满足某个条件 P，则你可以介入一个新的函数符号 F 来指示它。注意 P 自身是涉及 x 和 y 二者的关系谓词。所以如果有这样的一个谓词 P 和定理:
则可以介入一个新的域类型 T 和陪域类型 U 的函数符号 F 满足:
不使用泛函谓词

很多谓词逻辑系统不允许泛函谓词，只允许关系谓词。这是有用的，例如在证明元逻辑定理(比如哥德尔不完备定理)的上下文中，这里你不希望允许介入新的函数符号(或任何其他新符号)。但是有一个方法只要前者可以存在就把函数符号替代为关系符号；进一步的，这是算法性的因此适合于应用多数元定理于这个结果。
特别是，如 F 有域类型 T 和陪域类型 U，则它可以被替代为类型 (T,U) 的谓词 P。直觉上，P(x,y) 意味着 F(x) = y。接着在 F(x) 在陈述中出现的任何时候，你都可以把它替代为类型 U 的新符号 y，并包括另一个陈述 P(x,y)。为了能够做同样的演绎，你要一个额外的命题:
(当然，这是前面章节中在介入新的函数符号之前必须证明为定理的同样的命题)。
因为函数符号的消除对于某些目的是方便的和可能的，很多形式逻辑系统不明确的处理函数符号而只使用关系符号；另一种考虑方式是泛函谓词是特殊种类的谓词，是满足上述命题的特殊谓词。如果你希望指定只适用于泛函谓词 F 的一个命题模式就有问题了；如何提前知道它是否满足这个条件? 要得到这个模式的等价公式，首先把形如 F(x) 的任何东西都替代为新变量 y。接着在介入对应的 x 之后(就是说，在 x 被加以量词之后，或在陈述开始处如果 x 是自由的)立即就对 y 加全称量词, 并用 P(x,y) 前卫这个量化。最后，使整个陈述是上述泛函谓词的唯一性条件的实质推论。
让我们采用在 Zermelo-Fraenkel 集合论中替代公理的例子。这个模式声称，对于任何有一个变量的函数谓词 F:
首先，我们必须把 F(x) 替代为其他变量 y:
当然，这个陈述不正确；y 必须在 x 之后立即加量词:
我们仍必须介入 P 来前卫这个量化:
这是几乎正确的，但是它适用于太多谓词；我们实际需要的是:
这个版本的替代公理模式现在适合用于不允许介入新的函数符号的形式语言中。可作为选择的，你可把最初的陈述解释为在这种形式语言中的陈述；它只是在结束处生成的陈述的简写。