ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
#笑鴞 - ''Sceloglaux albifacies'' (Laughing Owl) ※特有種 / 絕滅
#縱紋腹小鴞 - ''Athene noctua'' (Little Owl) ※外來種
#倉鴞 - ''Tyto alba'' (Barn Owl) ※迷鳥
*裸鼻鴟科 Aegothelidae
#''Megaegotheles novaezealandiae'' (New Zealand Owlet-nightjar) ※絕滅
#白喉針尾雨燕 - ''Hirundapus caudacutus'' (White-throated Needletail) ※迷鳥
#叉尾雨燕 - ''Apus pacificus'' (Fork-tailed Swift) ※迷鳥
*翠鳥科  Alcedinidae
#笑翠鳥 - ''Dacelo novaeguineae'' (Laughing Kookaburra) ※外來種
#白眉翡翠 - ''Todiramphus sanctus'' (Sacred Kingfisher)
#佛法僧 - ''Eurystomus orientalis'' (Dollarbird) ※迷鳥
*刺鷯科 Acanthisittidae
紐西蘭叢異鷯 - ''Xenicus longipes''
#刺鷯 - ''Acanthisitta chloris'' (Rifleman) ※特有種
#紐西蘭叢異鷯 - ''Xenicus longipes'' (Bush Wren) ※特有種 / 絕滅
#石異鷯 - ''Xenicus gilviventris'' (Rock Wren) ※特有種 / Near-threatened
#斯蒂芬島異鷯 - ''Traversia lyalli'' (Stephens Island Wren) ※特有種 / 絕滅
#''Pachyplichas yaldwyni'' (South Island Stout-legged Wren) ※絕滅
#''Pachyplichas jagmi'' (North Island Stout-legged Wren) ※絕滅
#歐亞雲雀 - ''Alauda arvensis'' (Eurasian Skylark) ※外來種
#洋燕 - ''Hirundo tahitica''
##迎燕 - ''H. t. neoxena'' (Welcome Swallow)
#樹燕 - ''Hirundo nigricans'' (Tree Martin) ※迷鳥
#彩石燕 - ''Hirundo ariel'' (Fairy Martin) ※迷鳥
#大花鷚 - ''Anthus novaeseelandiae'' (New Zealand Pipit) ※特有種
#花翅山椒鳥 - ''Coracina novaehollandiae'' (Black-faced Cuckoo-shrike) ※迷鳥
#白翅鳴鵑鵙 - ''Lalage tricolor'' (White-winged Triller) ※迷鳥
#黑喉紅臀鵯 - ''Pycnonotus cafer'' (Red-vented Bulbul) ※外來種 / 絕跡
#林巖鷚 - ''Prunella modularis'' (Dunnock) ※外來種
#黑鶇 - ''Turdus merula'' (Eurasian Blackbird) ※外來種
#歐歌鶇 - ''Turdus philomelos'' (Song Thrush) ※外來種
#蕨鶯 - ''Bowdleria punctatus'' (Fernbird) ※特有種
#查塔姆蕨鶯 - ''Bowdleria rufescens'' (Chatham Island Fernbird) ※絕滅
#白頭刺鶯 - ''Mohoua albicilla'' (Popokatea) ※特有種
#黃頭刺鶯 - ''Mohoua ochrocephala'' (Yellowhead) ※特有種
#新西蘭刺鶯 - ''Mohoua novaeseelandiae'' (Pipipi) ※特有種
*刺嘴鶯科 Acanthizidae
#灰吵刺鶯 - ''Gerygone igata'' (Grey Warbler) ※特有種
#查塔島吵刺鶯 - ''Gerygone albofrontata'' (Chatham Island Gerygone) ※特有種
#灰翅王鹟 - ''Monarcha melanopsis'' (Black-faced Monarch) ※迷鳥
#緞光闊嘴鹟 - ''Myiagra cyanoleuca'' (Satin Flycatcher) ※迷鳥
#灰扇尾鹟 - ''Rhipidura fuliginosa'' (New Zealand Fantail) ※特有種
#鹡鸰扇尾鹟 - ''Rhipidura leucophrys'' (Willie Wagtail) ※迷鳥
*鴝鶲科 Eopsaltriidae
#雀鴝鹟 - ''Petroica macrocephala'' (New Zealand Tomtit) ※特有種
#鴝鹟 - ''Petroica australis'' (New Zealand Robin) ※特有種
##查島鴝鹟 - ''P. a. traversi'' (Chatham Island Robin) ※特有種 / Endangered
#灰胸繡眼鳥 - ''Zosterops lateralis'' (Silver-eye)
*吸蜜鳥科 Meliphagidae
#縫合吸蜜鳥 - ''Notiomystis cincta'' (Stitch-bird) ※特有種 / Vulnerable
#鐘吸蜜鳥 - ''Anthornis melanura'' (New Zealand Bellbird) ※特有種
#禿兒吸蜜鳥/簇胸吸蜜鳥 - ''Prosthemadera novaeseelandiae'' (Tui) ※特有種
#紅垂蜜鳥 - ''Anthochaera carunculata'' (Red Wattlebird) ※迷鳥
#黃鵐 - ''Emberiza citrinella'' (Yellowhammer) ※外來種
#黃道眉鹀 - ''Emberiza cirlus'' (Cirl Bunting) ※外來種
#蒼頭燕雀 - ''Fringilla coelebs'' (Chaffinch) ※外來種
#歐金翅雀 - ''Carduelis chloris'' (European Greenfinch) ※外來種
#紅額金翅雀 - ''Carduelis carduelis'' (European Goldfinch) ※外來種
#普通朱頂雀 - ''Carduelis flammea'' (Common Redpoll) ※外來種
#家麻雀 - ''Passer domesticus'' (House Sparrow) ※外來種
#歐洲椋鳥 - ''Sturnus vulgaris'' (European Starling) ※外來種
#家八哥 - ''Acridotheres tristis'' (Common Myna) ※外來種
*垂耳鴉科 Callaeatidae
黃嘴垂耳鴉 - ''Heteralocha acutirostris''
#垂耳鴉 - ''Callaeas cinereus'' (Kokako) ※特有種 / Endangered
#鞍背鴉 - ''Philesturnus carunculatus'' (Saddleback) ※特有種 / Near-threatened
#黃嘴垂耳鴉 (兼嘴垂耳鴉) - ''Heteralocha acutirostris'' (Huia) ※特有種 / 絕滅
#黑眼燕鵙 - ''Artamus personatus'' (Masked Woodswallow) ※迷鳥
#白眉燕鵙 - ''Artamus superciliosus'' (White-browed Woodswallow) ※迷鳥
#黑背鐘鵲 - ''Gymnorhina tibicen'' (Australian Magpie) ※外來種
*極樂鳥科 Paradisaeidae
#新西蘭鶇鹟 - ''Turnagra capensis'' (Piopio) ※特有種 / 絕滅
#禿鼻鴉 - ''Corvus frugilegus'' (Rook) ※外來種
#新西蘭烏鴉 - ''Palaeocorax moriorum'' (New Zealand Crow) ※絕滅
* OSNZ,  New Zealand Recognised Bird Names, 2003
* Gill, Brian & Martinson, Paul. 1991. ''New Zealand's Extinct Bird''. Random Century New Zealand Ltd.
* The Ornithological Society of New Zealand
香港新世界大廈，是一棟位於上海黃浦區淮海中路300號的摩天大廈。大樓建于1998年至2004年間，總高度278.3米（含天線），建筑高度210.6米，地上59層，地下3層。截止2020年底，K11是上海第9高大廈，僅次於上海中心大廈、上海環球金融中心、金茂大廈、上海世茂國際廣場、上海白玉蘭廣場、會德豐國際廣場、上海恒隆廣場及明天廣場。發展商為新世界發展集團的新世界中國地產有限公司，總投資近25億人民幣，總建筑面積13.7萬平方米，辦公樓面積由500平方米至每層2,020平方米。2012年，香港新世界地產投資對大廈商場進行改造，2013年更名為K11。是為中國大陸首家K11商場。大廈外墻還裝設了上海唯一的電腦監控變色燈光系統，以配合上海市政府燈光景觀工程，并成為新世界集團在上海的標志性建筑。
商場聘請Kokaistudios事務所進行改建及室內設計工作，並於落成後把商場部分改名為K11購物藝術中心，簡稱K11、上海K11。商場於2013年1月重新開放，並於6月28日正式重新開幕。
商場公共空間展示多件藝術裝置，亦在B3層設有藝術展覽廳，其中在2014年3月至6月舉辦的「印象派大師·莫奈特展」，入場觀眾達40萬人次。
商場榮獲2013年亞太區國際地產大獎商業修繕及重建類別獎項。
1號線、14號線一大會址·黃陂南路站設有出口直達K11。
2016年，新世界宣布投資50億人民幣對K11西側的老式里弄尚賢坊進行改造，并計劃修建205米高的K11二期大廈。
K11二期工程將尚賢坊內具有歷史意義的兩排石庫門建筑拆除，只剩下靠近淮海中路的前兩排（圖左下）。
2018年，有網友發現位于K11二期工程將尚賢坊內具有歷史意義的兩排石庫門建筑拆除，只剩下靠近淮海中路的前兩排。在輿論壓力下，拆除工作被叫停。后來經過協商，開發商表示因為軌道交通14號線將從尚賢坊下方穿過，因而須對其中兩排建筑采取構件整體拆卸復建的方式進行恢復。
* 新世界大廈：位於香港中西區中環皇后大道中
* K11 (香港)：位於香港油尖旺區尖沙咀
*  香港新世界大廈 焦點寫字樓網
策梅洛-弗蘭克爾集合論，含選擇公理時常簡寫為ZFC，是在數學基礎中最常用形式的公理化集合論，不含選擇公理的則簡寫為ZF。它是二十世紀早期為了建構一個不會導致類似羅素悖論的矛盾的集合理論所提出的一個公理系統。
ZFC旨在構建自一個單一的基本本體論概念集合，和一個單一的本體論假定，就是在論域中所有的個體（就是所有數學對象）都是集合。有一個單一的基本二元關系集合成員關系；集合''a''是集合''b''的成員寫為''a''  ''b''（通常讀做"a是b的元素"）。ZFC是一階理論，所以ZFC包括后臺邏輯是一階邏輯的公理。這些公理支配了集合的行為和交互。ZFC是標準形式的公理化集合論。使用ZFC的大量的正在進行中的普通數學推導請參見 Metamath在線計劃。
在1908年，恩斯特·策梅洛提出了第一個公理化集合論，即策梅洛集合論。然而，這個公理系統無法構建出序數的集合；而序數是許多集合論研究的根本工具。此外，Zermelo的分類公理中使用了被稱作“明確性”的性質，而它的實際意義是有歧義的（此時一階邏輯的概念還未被提出）。在1922年，和獨立的提議了定義“明確性”為可以在一階邏輯中公式化并原子公式僅包括集合的公式。他們還同時提出應該用替代公理取代分類公理，并在體系中添加正規公理（首先由 馮諾依曼提出），從而得到了被稱作 ZF的公理體系。
再向ZF增加選擇公理就誕生了ZFC。選擇公理曾飽受爭議，因為選擇函數的存在性是非構造性的；選擇公理確立了選擇函數的存在，而不說明如何構造這些函數。所以使用選擇公理構造的一些集合，盡管可以證明其存在，但可能無法詳細、描述性地構造出。因此，當一個結論依賴于選擇公理時，有時會被明確地指出。
ZFC一般由一階邏輯寫出，實際上包含了無窮多個公理，因為替代公理實際上是公理模式。Richard Montague證明了ZFC和ZF集合論二者都不能用有限個公理來公理化。在另一方面，馮諾伊曼-博內斯-哥德爾集合論（Von Neumann–Bernays–G?del, NBG）可以被有限公理化。NBG的對象同時包括集合和類；類是有含有元素但不在其他任何類中的實體。NBG和ZFC事實上是等價的，即所有不以任何方式提及類的定理在兩個公理體系中同時可以證明或同時不能證明。
依據哥德爾第二不完備定理，ZFC的一致性不能在ZFC之內證明。ZFC的延展包括了通常意義上的大部分數學，所以ZFC的相容性不能在其他數學分支中證明。ZFC的相容性可從弱不可達基數的存在(獨立于ZFC)而得出。幾乎沒有人懷疑ZFC有什么矛盾；通常認為，如果ZFC事實上不自洽，那相應的例子早就應該被發現了。可以肯定的是，ZFC避開了樸素集合論的三大悖論，羅素悖論、布拉利-福爾蒂悖論和康托爾悖論。
文獻中討論過的ZFC的缺陷包括：
*它比幾乎所有普通數學所要求的程度還要強（Saunders MacLane和這么認為）；
*相對于其他集合論的公理化，ZFC相對要弱。例如，它不允許全集合（如新基礎）或類（如NBG）的存在；
*Saunders MacLane（范疇論的締造者之一）和其他人爭論說任何公理化集合論對于實際上的數學工作方式而言都是不正當的。依據他的觀點，數學不是關于抽象對象的搜集和它們的性質的學科，而是關于結構和結構保持的映射的學科。
ZFC有許多等價的形式。下列的公理集合是由丘嫩於1980年提出的。公理本身以一階邏輯來敘述，之中的句子只是用來增加對邏輯描述的直覺概念。
Axiom of extensionality
兩個集合相等，若它們有相同的元素。
這個公理的逆敘述可以由等式的代替性中得到。若背景邏輯不包含等式「=」，''x''=''y''可以定義為如下公式的縮寫
如此一來，外延公理可寫成：
若''x''和''y''有相同的元素，則它們屬於同一個集合
Axiom of regularity / Axiom of foundation
每個非空集合''x''都包含一個成員''y''，使得''x''和''y''不相交。
設''z''為一個集合，且為任一個描述''z''內元素''x''的特徵的性質，則存在''z''的子集''y''，包含''z''內滿足這個性質的''x''。這個「限制」可用來避免羅素悖論之類的悖論。更形式化地說，令為ZFC語言中的任一公式，具有等自由變數（即''y''在內不是自由變數），則