laion/Wikipedia-Exotic huggingface dataset:
應劭

應劭（2世纪—？），字仲瑗，东汉汝南南頓（今河南项城）人。司隸校尉應奉之子，司空掾應珣之兄。應瑒、應璩之伯父。 卒年不詳，僅知曹操207年據有河北時已經過世。 應劭年少篤學，博覽多聞，汉灵帝时举孝廉，熹平二年為郎官，六年為汝南主簿。後辟車騎將軍何苗掾，任蕭縣縣令、營陵令、中平六年（189年）出任泰山太守。 185年，朝廷派遣車騎將軍皇甫嵩鎮壓韓遂、邊章之亂，本來皇甫嵩想招烏桓兵作戰，此時北軍中候鄒靖上言：「烏桓衆弱，宜開募鮮卑。」大將軍掾韓卓表示贊同，並稱讚鄒靖：「靖居近邊塞，究其態詐。靖募鮮卑輕騎五千，必有破敵之效。」但是應劭認為鮮卑族貪婪不守信義，堅持啟用烏桓兵。最後兩人爆發了口角，詔百官大會朝堂，最後應劭的意見被眾人採納。 獻帝初平二年（191年）大破黃巾賊卅萬眾。 权臣董卓伏诛后，余党李傕、郭汜继续把持朝政，徐州刺史陶谦率前扬州刺史周乾、琅邪相阴德、东海相刘馗、彭城相汲廉、北海相孔融、沛相袁忠、应劭、汝南太守徐璆、前九江太守服虔、博士郑玄等共推行车骑将军朱儁为太师，发檄文号召地方讨伐李傕，尊奉献帝。但朱儁应李傕征召入朝，陶谦等只能作罢。 后奉曹操命令送曹父曹嵩返鄉，應劭未至、陶謙先到，劫殺了曹嵩，應劭畏懼曹操怪罪，而投奔袁紹，為袁紹軍謀校尉。後曹操迎奉献帝，应劭入朝制定典章。后卒於鄴縣。 著有《漢官儀》十卷、《風俗通義》卅卷、《漢書集解音義》二十四卷。另撰有《春秋斷獄》。今仅存《风俗通》十卷，又严可均辑佚数句。 [在维基数据编辑] 在维基文库阅读此作者作品 《後漢書/卷48》，出自范晔《後漢書》 《東觀漢記》 按《刘宽碑碑阴故吏名》及应劭自著《汉官仪》，作仲援、仲远者皆误；下為近人吳樹平校注《東觀漢記》卷十六。 “「字仲遠」，范曄《後漢書應劭傳》同，李賢注：「謝承書、應氏譜并云『字仲遠』，續漢書文士傳作『仲援』，漢官儀又作『仲瑗』，未知孰是。」按王先謙《後漢書集解》引惠棟說，云《太尉劉寬碑碑陰》有「故吏南頓應劭仲瑗」一句。劉寬，范曄後漢書有傳，卒於中平二年。碑文所記當無誤。《水經注》卷二東阿縣下有應仲瑗，《文心雕龍》議對篇有「仲瑗博古，而銓貫有敘」之語，應劭字亦作「仲瑗」，與劉寬碑相吻合。” 據《隋书·经籍志》，《后汉书》卷48《应奉传附应劭传》亦称劭“集解《汉书》”。 《後漢書應劭傳》。
阿扎瓦德

阿扎瓦德（图阿雷格语：ⴰⵣⴰⵓⴷ、法語：État indépendant de l’Azawad，又作Azaouad）是马里共和国北部的一个地区，曾是一个未受国际普遍承认国家。2012年3月马里政变发生后，图阿雷格族武装阿扎瓦德民族解放运动趁机击败马里政府军队，控制了通布图、基达尔和加奥三座北部重镇及周边，以及莫普提区的一部分。2012年4月6日，阿扎瓦德民族解放运动在其官方网站上正式宣告独立，以通布图作为首都。5月26日，阿扎瓦德民族解放运动与伊斯兰组织伊斯兰卫士宣布协议，他们将合并成立一个伊斯兰国家。然后，后来阿扎瓦德民族解放运动退出了协议。之后阿扎瓦德民族解放运动与伊斯兰卫士发生持续冲突，6月27日，加奥战役后，阿扎瓦德民族解放运动被驱逐。2013年2月14日，阿扎瓦德民族解放运动宣佈放弃他们的独立要求，并要求与马里政府开始其未来地位以及區域自治的谈判。 根据苏格兰探险家和科学家罗伯特·布朗研究，阿扎瓦德是一个阿拉伯语词从柏柏尔语“Azawagh”转变而来，它是一个干涸河流流域，包括尼日尔，马里东北部，西部和南部阿尔及利亚。它的名字翻译而来的意思为“游牧的土地”。 历史上，这块土地上建立过加纳帝国，马里帝国和桑海帝国。摩洛哥人后来又探险来到此地。马西纳帝国于1826年开始控制廷巴克图，直到1856年。后法国侵入，成为法属苏丹一部分。1960年马里独立后，成为马里共和国一部分。自独立后，图阿雷格族不断进行起义争取独立。其中第一次为1962至1964年，第二次为1990至1995年，第三次为2012至2013年。 该地区有桑海人、游牧的图阿雷格人等。 Mouvement National de Liberation de l'Azawad. Mouvement National de Liberation de l'Azawad. [2018-01-10]. （原始内容存档于2013-04-14）.  Mali Tuareg rebels control Timbuktu as troops flee. BBC News. 2012-04-01 [2012-04-03]. （原始内容存档于2015-11-05）.  Tuaregs claim 'independence' from Mali. Al Jazeera. 2012-04-06 [2012-04-06]. （原始内容存档于2013-07-22）.
那打素醫院 (消歧義)

那打素醫院為兩間香港醫院的通稱： 雅麗氏何妙齡那打素醫院，位於新界大埔區 東區尤德夫人那打素醫院，位於香港島東區
卞玉京

卞玉京，本名卞賽，又名賽賽，後自號玉京道人，習稱玉京，明末清初歌妓，明末“秦淮八艳”之一。 出身於秦淮官宦之家，因父早亡，姐妹二人淪落為歌妓。卞玉京精詩琴，畫藝嫺熟，尤善畫蘭。江南盛傳：“酒壚尋卞賽，花底出陳圓”。 崇禎四年（1631年）春天，卞玉京與著名詩人吳偉業有過一段姻緣，感情深重。後來崇禎帝的國舅田弘遇在金陵選妃，看中陳圓圓與卞玉京，此事遂無疾而終。二年後，卞賽嫁一王侯，因不得意，遂將侍女柔柔進奉之，出家當女道士，依附於名醫鄭保禦，長齋繡佛，戒律甚嚴。崇禎末年，清兵南下，卞玉京見降清人士劫去王女獻清兵主帥多鐸，改道士衣冠，逃出虎口。 順治七年（1650年），卞玉京在錢謙益家看到了吳偉業的《琴河感舊》四首詩，知道吳偉業對她的思念。數月後二人在太倉相見，卞玉京為吳偉業操琴，吳偉業不勝感懷，寫了《聽女道士卞玉京彈琴歌》贈之，詩吟：“……昨夜城頭吹篳篥，教坊也被傳呼急。碧玉班中怕點留，樂營門外盧家泣。私更妝束出江邊，恰遇丹陽下諸船。剪就黃絁貪入道，攜來綠綺訴嬋娟……”之後兩人的感情就這樣無任何結果的消逝。 據說卞玉京後來隱居江蘇無錫惠山，十多年後病逝，葬於惠山柢陀庵錦樹林。詳情可以參考吳偉業另一首作品《過錦樹林玉京道人墓並序》。 余怀著《板桥杂记·卞賽》 刘如溪点评 青岛出版社 维基文库中的相关原始文献：琴河感舊 维基文库中的相关原始文献：聽女道士卞玉京彈琴歌 维基文库中的相关原始文献：過錦樹林玉京道人墓並序
固體燃料火箭

固體火箭發動機是燃料和氧化劑以固體狀態直接儲存的火箭發動機，常用于导弹、探空火箭、飞机起飞的助推器。目前在中小型的火箭發動機上面，固態火箭佔據很大的比例。 固態火箭發動機的燃料是直接安裝在火箭的後部，使用的時候利用點火器引發燃料燃燒，產生推力推送火箭。因為固態火箭燃料不需要額外的燃料槽，也不需要輸送或加壓的管線，在構造上固態火箭發動機比液態火箭發動機要簡單許多，重量也比較輕。 因為固態火箭發動機的燃料的量與型態是固定的，要隨意藉由調整燃料與氧化劑的量來控制推力非常困難，燃料一旦開始作用，若是中斷燃燒的過程，很難重新點燃，因此固態火箭發動機多半使用在推力需求較為固定，一經啟動就不需要停止的設計上面。在設計上需要依靠精確的形狀和燃料顆粒來控制燃燒的速度和產生的推力。近年來因為固態火箭具有低成本和高發射機動性等優點，受到軍事用戶和低軌小衛星發射商的重視，研究漸熱，也有大量控制推力的辦法發明并得到應用。 固態火箭發動機不需要經常維護，燃料雖然也有使用年限，通常需要更換的時間比液態火箭發動機的燃料要長。因此在需要使用的場合，固態火箭發動機的反應和準備時間較短。此外，固態火箭發動機沒有管線或者是加壓設備，對於外界的震盪或者是碰撞的忍耐程度比液態火箭發動機要高。蘇聯在發展機動彈道飛彈系統的時候就發現，以鐵路運輸的方式，車體的震盪對於液態火箭發動機的設備損傷很大，固態火箭就沒有這個問題。 目前的固态火箭的缺点是，工作时间短，如何将几十吨，或几百吨的货物送入太空站，并超过第一宇宙速度（7.9km/s)，这是各军事大国追求的目标。当货物远离地球200公里以上，速度达到7000米/秒以上时，而推动它的火箭的工作时间要大于150秒。 液体火箭 混合式火箭 火箭发动机 火箭推进剂 贾玉红; 吴永康. 航空航天概论（第5版）习题集 2022年8月第一刷. 北京航空航天大学. 2017. ISBN 978-7512424876.
顧橫波

顧橫波（1619年—1664年），原名媚，又名眉，字眉生，一字眉庄，別字後生，號橫波、智珠、梅生，应天府上元县（今江苏省南京市）人，明末歌妓，「秦淮八艳」之一。 顧橫波是八艷中地位最顯赫的一位，受誥封為“一品夫人”。据《板橋雜記》記載，顧橫波“庄妍靚雅，風度超群。鬢發如云，桃花滿面；弓彎纖小，腰支輕亞”，工於詩畫，尤善畫蘭，個性豪爽不羈，與柳如是較像，時人呼之“眉兄”，柳如是自稱為“弟”。龔鼎孳年方二十四，來到眉樓，一見顧橫波，為之傾倒不已。龔鼎孳為顧畫成“佳人倚欄圖”並題詩：“腰妒垂楊髮妒云，斷魂鶯語夜深聞。秦樓應被東風誤，未遣羅敷嫁使君。”崇禎十四年嫁龔鼎孳，洗盡鉛華，改名換姓“徐善持”。 崇祯十七年（1644年），闖王李自成攻下京城，龔鼎孳出仕李闖，随即降清。三朝之臣，做到了禮部尚書，顧橫波也堂皇受誥封為“一品夫人”。康熙三年（1664年）冬，顧橫波一病不起，病卒于北京铁狮子胡同，龔鼎孳在北京长俸寺建妙香阁纪念。 顧媚善诗词，作有《海月楼夜坐》、《花深深·闺坐》、《虞美人·答远山夫人寄梦》、《千秋岁·送远山夫人南归》等诗词，收入所著《柳花阁集》。 浮世馨香：談清顧媚《畫幽蘭》卷. 典藏ARTouch.com. 2024-03-20 [2024-07-30] （中文（臺灣））.  《冷廬雜識》眉生小像條下：“余曾于其侄銀灣參軍世樾處，見《顧橫波小像》一幅，丰姿嫣然，呼之欲出。上幅右方款二行雲：‘崇禎己卯七夕後二日，寫于眉樓，玉樵生王樸。’左方詩二首云：‘腰妒楊枝發妒雲，斷魂鶯語夜深聞。秦樓應被東風誤，未遣羅敷嫁使君。淮南龔鼎孳題。’‘識盡飄零苦，而今始得家。燈煤知妾喜，特著兩頭花。庚辰正月廿三日燈下，眉生顧媚書。’” 吴德旋《见闻录》指顾横波原与钱湘灵之友刘芳约为夫妇，后嫁龚鼎孳，以致“芳以情死”。 清余懷著《板桥杂记·顧媚》，刘如溪点评，青岛出版社 黄宾虹：《顾横波之艳史》
KDevelop

KDevelop，是一个支持多程序设计语言的集成开发环境。它运行于Linux和其它类Unix环境。它本身不包含编译器，而是调用其它编译器来编译程序。 KDevelop 3.5.5已支持Ada、Bash、C、C++、Fortran、Haskell、Java、Pascal、Perl、Python、Ruby、SQL等程序设计语言。 KDevelop透過KParts框架使用编辑器组件。預設使用Kate。下面是KDevelop的一些特性。有关编辑器组件的特性，可以查看Kate相关介绍。 源代码编辑器具有语法高亮和自动缩进的功能（继承自Kate_Part）。 项目管理器可以管理各种不同的项目类型，例如Automake、基于Qt的qmake项目和基于Java的Ant项目。 类浏览器。 GUI设计器。 GNU编译器套件的前端。 GNU调试器的前端。 生成和升级类定义以及应用程序框架的向导。 自动代码补全（C/C++）。 内置Doxygen支持。 并行版本控制（也被称作软件配置管理）系统支持。支持CVS、Subversion、Perforce和ClearCase。 KDevelop 3是一个完全基于插件的架构。当一个开发人员做了一个改动，他只需要重新编译这个插件。这样就可以同时保存几个配置文件，每个配置文件中可以指定加载不同的插件。KDevelop是和编程语言以及构建系统无关的，支持KDE、GNOME和例如Qt、GTK+和wxWidgets的其它一些技术。 KDevelop支持多种不同语言，其中包括C、C++、Perl、Python、PHP、Java、Fortran、Ruby、Ada、Pascal、SQL和Bash脚本。支持的构建系统包括GNU（automake）、cmake、qmake和自定义项目的make（如果您想使用自己的Makefile，KDevelop不会破坏它们的）以及不需要Makefile的脚本项目。 对于C和C++，KDevelop提供代码补全功能。符号都被保存到一个Berkeley DB文件数据库中，这样可以快速查找，而不用重新解析。KDevelop还提供了一个开发人员框架，它可以帮助大家为其它编程语言编写新的解析器。 集成的调试器可以让您图形化地完成所有有关断点和回溯的调试，它甚至可以在您动态加载插件的时候一样工作，这点和命令行的gdb不同。 快速打开可以让您在文件中快速导航。 现在，对于这个集成开发环境已经有50到100个可用的插件。其中主要包括项目范围内的持续代码标签；快速展开代码片段；使用格式化工具按照一种风格重新编排您的代码格式；正则表达式搜索以及在重构代码时允许莫名在项目范围进行搜索／替换。 维基共享资源上的相关多媒体资源：KDevelop 官方网站 KDevelop主页* （页面存档备份，存于互联网档案馆） KDevelop介绍（简体中文）[永久失效連結] Repositories: KDevelop: GitLab （页面存档备份，存于互联网档案馆）, cgit （页面存档备份，存于互联网档案馆） and GitHub (mirror) （页面存档备份，存于互联网档案馆） KTextEditor framework: GitLab （页面存档备份，存于互联网档案馆）, cgit （页面存档备份，存于互联网档案馆） and GitHub (mirror) （页面存档备份，存于互联网档案馆） KSyntaxHighlighting framework: GitLab （页面存档备份，存于互联网档案馆）, cgit （页面存档备份，存于互联网档案馆） and GitHub (mirror) （页面存档备份，存于互联网档案馆） Bug tracking: in KDevelop （页面存档备份，存于互联网档案馆）, in KTextEditor framework （页面存档备份，存于互联网档案馆） and in KSyntaxHighlighting framework （页面存档备份，存于互联网档案馆）
皇家維戈塞爾塔俱樂部

皇家维戈塞尔塔俱乐部（Real Club Celta de Vigo）是一家位於西班牙加利西亞自治區维哥的足球俱樂部，為西班牙足球甲级联赛的球隊之一，成立於1923年8月23日，是由當時的皇家維戈競技（英语：Real_Vigo_Sporting）和皇家財富足球俱樂部（英语：Real_Fortuna_Foot-ball_Club）合併而成。球隊綽號“Os Celestes”（The Sky Blues，天藍），球隊主場隊服是由天藍色的上衣以及白色的短褲構成。球隊主場巴莱多斯可容納 35,000人。Celta的名字來源於當年生活在該地區的凱爾特人。它的主要競爭對手是同在加利西亞地區的拉科魯尼亞體育俱樂部，它們之間的比賽稱之為加利西亞德比（英语：Galician_derby）。 塞爾塔多年來都在西班牙足球甲級聯賽作賽，從未在西甲聯賽或國王盃中奪冠，聯賽最高排名為2002-03賽季的第四名，盃賽場上則最多拿過三屆亞軍（1948、1994、2001）。1970-71年球季，當屆主場賽事保持不敗，時稱「巨人殺手」。之後憑聯第六名成績進軍歐洲足協杯，但首圈出局。2002-03赛季，首度獲得欧洲冠军联赛参赛资格，但在16強淘汰賽中被阿森納淘汰出局。2016-17賽季，打入歐洲聯賽半決賽，但不敵最終的當季冠軍曼徹斯特聯隊。 圖圖盃 冠軍（1）：2000年 西班牙乙組足球聯賽 冠軍（3）：1935–36, 1981–82, 1991–92 西班牙足球乙二级联赛 冠軍（1）：1980–81 西班牙足球丙级联赛 冠軍（1）：1930–31 西班牙國王盃 亞軍（3）：1948年，1994年，2001年 歐洲冠軍聯賽：1 次參賽 歐洲聯賽：8 次參賽 歐洲足協圖圖盃：1 次參賽 2024年夏季轉會窗為7月1日-8月30日 粗體字為新加盟球員 亚历山大·莫斯托沃伊（英语：Aleksandr Mostovoi）（Alexander Mostovoi） 瓦列里·卡尔平（Valeri Gueórguievich Karpin） 德贾梅尔·贝尔马迪（Djamel Belmadi） 西尔维尼奥（Sylvinho） 马齐尼奥（Mazinho） 艾哈迈德·侯萨姆·米多（Ahmed Hossam "Mido"） 克洛德·马克莱莱（Claude Makélélé） 祖迪·告魯夫（Jordi Cruijff） 米歇尔·萨尔加多（Michel Salgado） 古斯塔沃·洛佩斯（Gustavo Lopez） 費爾南多·卡塞雷斯（英语：Fernando Cáceres）（Fernando Gabriel Cáceres） 萨沃·米洛舍维奇（Savo Milošević） 本尼·麦卡锡（Benni McCarthy） 安利·摩亞（Emre Mor） 麥斯·高美斯（Maxi Gomez） 伊亞高·艾斯帕斯（Iago aspas） 加比·維加（Gabri Veiga） 皇家維戈塞爾塔俱樂部官方網站 （页面存档备份，存于互联网档案馆）
東港溪

東港溪位於台灣南部，屬於中央管河川，全長約有44.00公里，流經屏東縣的八個鄉鎮，分別是內埔鄉、萬巒鄉、竹田鄉、潮州鎮、萬丹鄉、崁頂鄉、新園鄉、東港鎮。流域面積約有472.20平方公里。 東港溪之名是由屏東縣的東港鎮而來，東港之意，原為「位於下淡水溪的東邊」。過去東港溪河口是相當繁榮的貿易地與物資交換地點，清朝時就在東港溪沿岸形了三個街市，分別是萬丹街，新園街和崁頂街。 東港溪主流上游為萬安溪，發源於屏東縣泰武鄉的日湯真山。 從前東港溪的主流上游為水量豐沛的隘寮溪，其源頭位於遙拜山。1938年修築完成隘寮溪南岸長堤，導引溪水向西北流入荖濃溪；其後又興建一連串的堤防，以切斷隘寮溪南側各分流。從此隘寮溪變成荖濃溪的支流，東港溪遂改以萬安溪為主要源流，其河長與流量均大幅減少。 以下由下游至源頭列出水系主要河川，其中粗體字為主流河道。 東港溪 後寮溪（牛埔溪） 溪州溪（港東溪、九甲溪） 港子墘溝 麟洛溪（舊隘寮溪） 民治溪 頭溝溪 龍頸溪 佳平溪 牛角灣溪 萬安溪 以下由河口至源頭列出主流上之主要橋樑： 進德大橋（鄉道屏63線） 東港大橋（省道台17線） 龍港大橋（鄉道屏64線） 港東二號橋 鈺榮橋 興社大橋（縣道185甲線） 五魁橋（縣道189號） 東港溪橋（國道三號） 台鐵東港溪橋（台鐵屏東線） 潮州大橋（鄉道屏85線） 新潮州大橋（省道台1線） 萬巒大橋（縣道187號） 泗溝大橋（鄉道屏100線） 隴東橋（鄉道屏107線） 成德大橋（鄉道屏98線） 無名橋 萬安大橋（縣道185號） 萬安一號橋 萬安一號鐵索橋 萬佳橋 經濟部水利署已將東港溪列為水質最差的河川之一，尤其是下游地段，水質惡臭且混濁。東港溪上游原有一處鱷魚養殖場，因為六一二水災的關係，導致養殖場的眼鏡凱門鱷被沖入東港溪，目前已在溪流中繁衍後代。據最近的捕捉紀錄顯示，河中最大的眼鏡凱門鱷約有1.5米以上。 自2010年開始，水利署於萬丹鄉興化村、竹田鄉鳳明村、崁頂鄉力社村交界一帶，同時也是麟洛溪（亦稱隘寮溪）匯入點，進行截彎取直的治水工程。原本的東港溪在流經興社大橋後會轉向東流，並畫出直徑約500~600公尺的半圓，再往西與麟洛溪交會。工程進行首先拆除連接興化與力社的興社大橋，再沿半圓直徑進行填土工程，將原本該向東彎曲的河道改往西南流向，原本兩溪的交界點往北遷移200公尺；經此整治後，麟洛溪（主要為萬丹）及東港溪中上游的水患明顯改善。 東港溪攔河堰 中央管河川 台灣河流列表 台灣河流長度列表 〈東港溪〉，《臺灣大百科全書》. [2016-06-15]. （原始内容存档于2021-02-10）.  楊萬全，高屏溪流域和屏東平原的水資源，台灣水文論文集，2000年5月，第562頁 台灣環境雜誌 第96期-東港溪 藍色東港溪保育協會網路通訊 （页面存档备份，存于互联网档案馆）
馬湘蘭

馬湘蘭（1548年—1605年），名守真，字湘蘭，小字玄兒，又字月嬌。生於南京，明代歌妓、女诗人、画家。 马湘兰是明末“秦淮八艷”之一。因她在家中排行第四，人称“四娘”。秉性靈秀，能詩善畫，尤善畫蘭。《歷代畫史匯傳》中評價她“蘭倣子固，竹法仲姬，俱能襲其韻”。豪爽俠義，常揮金以濟少年，與文士王稚登交誼甚篤。王稚登七十大壽時，馬湘蘭買船載歌妓數十人，前往蘇州為王祝壽，“宴飲累月，歌舞達旦”，歸後大病，死後葬在秦淮河畔白鷺洲公園裏碧峰寺，年57歲。
田弘遇

田弘遇（16世纪？—1643年），陝西人，亦稱廣陵人，明末人物。 曾任揚州千總，长女（或称其名田秀英）在崇祯帝做信王时入王府做妾。崇禎帝即位，女儿田氏封爲貴妃，田弘遇官封左都督，竊弄威權，京城側目，習稱“田戚畹”。《明史》记，崇祯帝曾告诫他和袁貴妃的父亲袁祐“宜恪遵法度，為諸戚臣先。”其它典籍则记，袁祐相比田弘遇“声势相去远甚”。 當時明朝內憂外患，崇祯帝郁郁不歡，田弘遇為明思宗稍解苦悶，往江南選美，攜帶千人，東南騷動。崇祯帝不好女色，陳圓圓進宮後被退回田府，收陳圓圓為歌妓，後贈予吳三桂，盡其拉攏之意。崇禎十五年（1642年），田妃死，寵遇稍衰。田弘遇又欲送幼女（或称其名田淑英）入宫，次年田弘遇病死，再次年明亡，事情未成。 1644年，甲申之變，崇祯帝自縊於煤山。張岱《石匱書》有評：“國朝遇外戚，恩禮有數；雖極寵眷，而終不使任事蒞民，故多所保全。高后創大業，以兵亂，外家無封者。永樂后本中山王女，以王勳世其家；而彭城、惠安（均爲诚孝昭皇后兄）又各以軍功封爵，余官止都督繼世而已：不亦隆殺有體哉？迨後二張（张鹤龄、张延龄，孝康敬皇后弟）驕橫，身就三木。而末葉李武清、周嘉定、田都督之富貴豪華，為歡無幾，旋至滅亡。然而戚畹椒房，亦當知所自處矣！” 《明史·卷三百·列傳第一百八十八　外戚》周奎，蘇州人，莊烈帝周皇后父也[……]帝嘗諭奎及田貴妃父弘遇、袁貴妃父祐，宜恪遵法度，為諸戚臣先。 《思陵典禮記·卷二》田已立为贵妃.袁乃铺宫.相去七八年.袁固上即位时与田同选者也.袁仅生一女.袁妃之父佑视田宏遇声势相去远甚.田宏遇南中进香回带茅元仪妾杨宛至家.教其次女冩字.曾至宫中看妃.上见而悦之.壬午.妃薨.寻有九嫔之选.葢为此女也.未几.以兵警罢.至秋.宏遇死.宏遇之妻吴氏.乃娼也.妃乃吴氏带来者.非宏遇女也[……]
Yahoo知識+

Yahoo奇摩知識+（香港：Yahoo知识+、台湾：Yahoo奇摩知识+），英語系地區稱為Yahoo! Answers，是一個開放性的知識分享平台，讓使用者可以與網友做問答的互動，藉由眾人的經驗與專長，在問與答的討論之間，幫助使用者找到滿意的答案，與類似性質的Answers、Google Answers（已關閉）、愛問知識人以及百度知道可說是競爭關係。使用單純的問答系統的好處是可以不必在不同且以分類為主的論壇花費時間尋找答案，和在關鍵字搜索中的結果花費時間尋找答案。無論任何行動，都需要至少一個雅虎帳號，並且啟動自己知識檔案。（在香港，要評價要再手機認證）全球雅虎最早的知識+是由韓國於2003年6月架設。Yahoo奇摩知識+已經在至少19個地區建立。 知識服務是免費的會員服務。事實上，雅虎因廣納沒有智慧財產權審核制度的知識問答條目卻促成了知識所屬雅虎搜尋引擎達到率（reach）大增。另外在台灣，知識搜尋網甚至搶佔60%以上市佔率。到2015年2月26日，Yahoo奇摩知識+的解決問題數已超過2,215萬500則。 2021年4月20日開始，Yahoo奇摩知識+將切換為唯讀狀態，用戶不再能夠提出問題或回答問題。 2021年5月4日，受到Reddit、Quora等網站衝擊，Yahoo Answers永久關閉。 知識+可分為四個部份，包括：「發問」、「回答」、「搜尋」及「發表」（回答可分一般知識、個人煩惱和快問快答而發表也是可分一般知識和一些高級些的知識。） 目前使用知識+是完全免費的，無論在知識+中提問、回答以及進行知識共享都不收任何費用。只要使用者擁有Yahoo!的個人帳戶，便可使用知識+這項服務。 知識+的運作是採取點數問答機制，並以「預付+回饋」制來實行。當用戶發問時，該用戶必須先預付5－20點不等的點數，這些點數將由系統先行扣除保管，等到該發問者選出最佳解答，再將點數轉贈給最佳解答者。預付的點數，因為會贈送給最佳解答者，所以稱為「解答贈點」。較高的解答贈點能吸引較多的網友來回答，用戶通常會自行依照問題的難易度、緊急度來斟酌給點。當選出最佳解答後，如果評價優良，發問者與最佳解答者可以各自獲得10－100點的系統贈點，作為將問題轉換為知識的回饋。 發問者在發問問題時可以選擇問題接受回答的天數，從1到10天不等。在「問題分數」內，用戶可選擇把5、10、15、20分贈送給「最佳回答」者。發問完畢後，贈送的分數便會立即在發問者的知識分數中扣除。如果問題的發問時間快到了，仍然沒有滿意的回答出現，用戶可以選擇「延長發問」，發問時間將再延長5天。每個問題只可延長發問1次，不須另扣點數。 2005年10月，中国雅虎由阿里巴巴集团全资收购。2013年9月1日，中国雅虎关闭门户业务，雅虎知識堂也隨之停止服務。 2012年12月末，韓國雅虎宣布停止服務。 2021年4月，雅虎香港向用戶發出電郵，宣布用戶於同年4月20日起將不能發佈新問題，並於5月4日起停止服務（現已停止運作）。 2008年12月15日，香港知識+與台灣（奇摩）知識+的戶口進行合併 ，合併後香港及台灣的用戶均只需使用一個Yahoo! ID，便可同時參與香港及台灣知識+，方便各用戶進行知識交流。於革新後，台灣知識+的問題及知識也有機會在香港知識+中顯示，相對亦一樣。以香港用戶為例，由香港保留戶口所發問的問題及知識將會優先顯示在香港知識+中。如果用戶是選擇保留香港戶口，該用戶所發問的問題將會在香港知識+中獲得優先顯示，但在台灣知識+中的顯示次序則會較後。而用戶在知識+中搜查資料時亦一樣，由該地區戶口問的問題或知識的顯示次序將會較前，即香港知識+會以香港問題及知識為先，相反亦然。 2015年8月18日，香港知識+及台灣（奇摩）知識+將升級成與全球Yahoo Answers 一致的系統。升級後香港及台灣的用戶均只需使用一個Yahoo! ID，便可同時參與Yahoo Answers ，方便各用戶進行知識交流。 簡而言之，奇摩知識+就是一個因為營運理念與實際運作無法互相整合，而逐步走向失敗的問答平台。 營運理念：開放性且可互動問答的知識分享平台。 營運制度：最佳解答遴選及點數等級會員制。 根據上述理念，進一步歸納出此問答平台走向沒落的過程： 沒有驗證、審核、抵制、糾錯等機制互相配合，因而產生許多重複且錯誤的解答。 未能嚴謹定義知識的內涵，導致許多閒聊與非知識性的問答開始累積。 未能建立有效的內容管理機制，因而產生許多類似甚至相同的問答主題。 因上述情況日漸氾濫，加上會員利益導向的營運制度，吸引投機者透過上述手段快速獲得大量點數與高階頭銜。 當上述因素結合並產生亂象之後，問答平台的本質與初衷也隨之改變，與其理念背道而馳。 當平台亂象叢生且失其初衷，官方又未做出有效整頓，於是最後的稻草「商業廣告開始氾濫」。 當一個知識分享平台，變成投機份子賺取點數、獲得高等頭銜，又有商業廣告進駐的所在，停止營運就是理所當然。 Answers Google Answers 百度知道 愛問知識人 Yahoo! Answers. [2006-07-07]. （原始内容存档于2005-12-10）.  雅虎香港知識+說明 甚麼是知識+？. [2021-02-09]. （原始内容存档于2020-03-15）.  Yahoo Answers will be shut down forever on May 4th. [2021-04-06]. （原始内容存档于2021-05-30）.  知識+說明 如何使用知識+?. [2020-04-04]. （原始内容存档于2020-03-15）.  知識+說明. [2020-04-04]. （原始内容存档于2020-03-15）.  知識+說明 我想發問. [2010-05-08]. （原始内容存档于2020-03-15）.  Yahoo奇摩服務中心>知識+說明. [2019-05-20]. （原始内容存档于2011-01-25）.  Yahoo奇摩服務中心>知識+說明 可以延長發問天數嗎？. [2019-05-20]. （原始内容存档于2011-01-27）.  Thu Hiền. Yahoo! tăng tốc tại Việt Nam[永久失效連結]. Ngày 25 tháng 10 năm 2007 [Ngày 27 tháng 8 năm 2013]. 雅虎关闭公告. [2013-12-28]. （原始内容存档于2014-01-28）.  雅虎香港知識+說明 什麼是知識+戶口合併?. [2010-05-08]. （原始内容存档于2020-03-15）.  香港及台灣知識+問題及知識同樣合併嗎？. [2010-05-08]. （原始内容存档于2020-03-15）.  香港Yahoo知識+簡介 （页面存档备份，存于互联网档案馆） 台灣CNET：Yahoo將知識服務納入搜尋應用
苇羚亚科

苇羚亚科有两属八种，生活在湖泊和河流的附近。 水羚属(Kobus) 水羚(K. ellipsiprymnus) 赤羚(K. kob) 驴羚(K. leche) 瓦氏赤羚(K. vardoni) 大角驴羚(K. megaceros) 苇羚属(Redunca) 苇羚(R. redunca) 南苇羚(R. arundinum) 山苇羚(R. fulverufula)
李香君

李香君（1624年—1654年），又名李姬或李香，蘇州人，明代歌妓，秦淮八艷之一，孔尚任《桃花扇》中的女主角。现南京秦淮景区建有李香君故居纪念馆。 明天啟四年（1624），生於蘇州閶門楓橋吳宅，有兄妹三人。父親原為一位朝廷武官，因成為東林黨員，被魏忠賢誣陷治罪，吳家自此敗落。 崇禎四年（1631），隨養母歌妓李貞麗改吳姓為李。自幼與人學習藝家諸藝，音律詩詞、絲竹琵琶，尤擅南曲，歌聲甜潤，深得四方遊士追慕。因李貞麗仗義豪爽且知風雅，因此媚香樓善結正直俠義之士。 崇禎十二年（1639），結識復社領袖侯方域，與之交往，並為妾室。阮大鋮得知方域經濟拮据，暗送妝奩，以拉攏侯方域，結交復社。香君識破阮大鋮的圈套，堅決退還妝奩。 崇禎十七年（1644），三月京師淪陷，五月福王朱由崧即位南京，起用阮大鋮，趁機陷害侯方域，迫使其投奔史可法，自侯去後，結束了媚香樓的生活。 弘光元年、清順治二年（1645），四月清兵攻下揚州，五月南京淪陷，弘光帝被部將劫持獻給了清軍。南京城破時，李香君隨著一些宮人趁夜逃出，市街烽煙一片，清兵到處燒殺搶掠，難民四處逃竄。李香君在南京受盡苦難，後躲進棲霞山葆真庵，與昔日秦淮姐妹卞玉京相伴為尼。秋八月侯方域在棲霞山尋到李香君。經過商議，二人攜手渡江北上，前往老家歸德(今商丘)，住在翡翠樓上。因歌妓出身，為公公歧视，趕到侯氏庄園（今李姬園）居住。 順治十一年（1654），鬱鬱而亡，侯方域為香君立一石碑，上書「李香君之墓」五個大字，下有「卿含恨而死，夫慚愧終生」的小字。 〈在南都後宮私寄侯公子書〉，作於弘光元年二月。 《李姬傳》侯方域作清順治十一年。 孔尚任的《桃花扇》裡扇面上的桃花，並非染料所畫，而是楊龍友以李香君的鮮血寫成。 舞臺劇《李香君》，由唐若青飾李香君，卜萬蒼指導，周貽白編劇 ，中國旅行劇團全體團員協力出演。於民國28年（1940年）7月17日，首演於上海璿宮劇場。 電影《李香君》，由顧蘭君飾李香君，吳村執導，金星影業公司出品。講述明代末年，秦淮河畔名妓李香君的愛恨情仇。1940年9月11日四海首映。 電影《桃花扇》，由林鳳飾李香君，改編自清代戲曲家孔尚任同名傳奇，周詩祿執導，1961年5月3日首映。 電影《桃花扇》，為西安電影製片廠攝製於1963年的電影，由王丹鳳飾李香君，孫敬執導。 電影《李香君》，由紅線女飾李香君，楚原執導主要講述明朝末年，朝政腐敗，民眾起義風起雲湧清兵鐵騎屢破邊關國勢岌岌可危可南京城仍是一片紙醉金迷，秦淮河仍是歌舞昇華，青樓女子李香君的愛情悲劇和民族情操。1990年9月22日香港首映。 2000年中国电视剧《桃花扇传奇》，由曹颖飾李香君。 2000年台湾电视剧《一代名妓》，由沈飞鹂飾李香君。 電視劇、2001年葉青歌仔戲《秦淮煙雨》，由林美照飾李香君。 2002年中国电视剧《魂断秦淮》，由冯春哲飾李香君。 2005年中国电视剧《风流戏王》，由宁静飾李香君。 孔尚任《桃花扇》，康熙三十八年(1699)刊本 曾永義《從梁祝到李香君》聯合報副刊(2009.11.06) 曾永義《紅顏薄命李香君》聯合報副刊(2009.11.14) 孔尚任《桃花扇》 清余怀著《板桥杂记·李香》 刘如溪点评 青岛出版社 李香君故居陳列館
短角羚

短角羚（學名Pelea capreolus）是羚羊的一种，为南非、莱索托和斯威士兰的特有物种。 生活在山区草原，有着厚厚的、灰色的毛皮去保暖（尽管非洲比较炎热，但南非的山区有时候会比较冷）。仅雄性有角，角短而直。在交配季节时短角羚会变得非常好斗。
教育學院拼音方案

教育學院拼音方案，通稱教院式拼音方案或教院拼音方案，又稱《常用字廣州話讀音表》拼音方案，是種標準粵語的羅馬拼寫方案，用於一些敎材和敎育硏究項目。 教院式方案的特點是依從國際音標，並有規律把國際音標改成便於以一般電腦鍵盤輸入的羅馬字母，亦能避免亂碼和缺字符等問題。它以《粵音韻彙》所用的國際音標（寬式）為基礎，羅馬拼寫與國際音標能有規律直接對應，亦便於在兩系統間轉換，易於學習。 另一方面，教院式採用一般電腦鍵盤可直接輸入的廿六英文字母拼寫，免除輸入、顯示其他符號的煩惱。 因此，它能同時滿足「準確標注語音音素」及「方便輸入、儲存和傳送資料」兩項要求，一直以來受教育界歡迎。 教院式系統，最早用於余秉昭司鐸於1971年所著的《同音字彙》，只是當時把聲調叫做「上平」、「上上」、「上去」、「下平」、「下上」、「下去」、「上入」、「中入」、「下入」（而非今天所稱的「陰平」、「陰上」、「陰去」、「陽平」、「陽上」、「陽去」、「上陰入」、「下陰入」、「陽入」）。 1990年，香港教育署語文教育學院中文系（後來歸併作香港教育學院，成為一部份）出版的《常用字廣州話讀音表》則把聲調由「上平」、「上上」、「上去」等名改為「1」、「2」、「3」等數字標調。1994年香港教育署語文教育學院中文系出版的《常用字廣州話異讀分類整理》亦沿襲《常用字廣州話讀音表》的做法。自始，這套方案得以定型，並獲教育界垂青。 2000年出版的《廣州話正音字典》沿用教院式方案，並把方案「長a音」固定寫作「aa」。主編這些字典的學者詹伯慧認為這套拼音方案多年來已為香港中、小學廣泛採用，為香港教師所熟悉。2002年施仲謀主編的《廣州音北京音對應手冊》，2003年浸會大學中文系教授潘慧如等主編的《小學中文科常用字研究報告》、《小學中文科常用字表》及其網站等亦沿用這套拼音系統。 在中國大陸，2006年暨南大學文學院教授詹伯慧主編的《新時空粵語》，2011年廣州大學新聞與傳播學院副教授劉玉萍主編的《實用粵語播音主持語言基礎教程》等亦使用這套系統。 然而香港語言學學會於1993年推出香港語言學學會粵語拼音方案，簡稱粵拼，跟教院式有許多相似點，但因應過往不足處（例如一些口語音節無法拼寫的問題）[來源請求]而改善、補完，設計比其完善。在推出十年間，粵拼漸漸取代了「教院式」方案的地位，無論在學界或日常生活都獲得更廣泛的應用和支援。[來源請求]香港教育學院（現已升格為香港教育大學）語言學及現代語言系的粵語語料庫及粵語自學平台亦採用語會粵拼而非教院式。其中，負責粵語自學平台的片岡新教授表示許多學者都認為粵拼是最佳方案，網上資源也較多，學生學會粵拼後，自己打字也方便。香港教育大學目前已不再使用「教院式」方案。香港各大學亦相繼改用粵拼。[來源請求] 本方案的字母由拉丁字母a至z組成，聲調則以阿拉伯數字1至9（或1至6）標示。 共19母： 共8腹： 共9尾： 韻腹加韻尾組成58韻母：（方括號內為國際音標，例字均只取韻母） 掉、舔、𨋍、夾、坺為口語音，不是讀書音。 共兩種：m（毋／唔）、ng（吳、五） 高陰入、低陰入、陽入聲的音高與陰平、陰去、陽去一樣，這些入聲韻用韻尾p、t、k來分。傳統聲調的定義包括抑揚（即實際音高）和頓挫，入聲韻尾p、t、k正是影響了其頓挫，故粵語有「九聲六調」之稱，標調就算不用7至9，只依實際音高用1至6，還可以看韻尾字母來區分入聲。 值得一提的是：粵語九聲正好與數字「零」至「九」（除「一」和「七」同屬上陰入）對應，若依次序由第1至第9聲排的話，順序就是「三、九、四、零、五、二、七、八、六」；粵音這特質造就一些直接填入數字作為歌詞的經典創作，如林子祥的《數字人生》。 大多數粵語音素，本方案與其一致，除： 本方案用oe表示[œː]和[ɵ]這兩音，粵拼分別用oe和eo。 本方案用oey表示[ɵy]，粵拼用eoi。 本方案用dz表示[ts]，粵拼用z。 本方案用ts表示[tsʰ]，粵拼用c。 本方案用y表示[yː]，粵拼用yu。 本方案的聲調數字預設要上標，粵拼表示聲調的數字不用上標。 本方案用7、8、9表示上陰入、下陰入、陽入三聲，粵拼用1、3、6。 粵語聲調 香港教育大學粵語自學平台. [2021-06-10]. （原始内容存档于2021-03-27）.  LML The Education University of Hong Kong：7 粵語自學平台. [2021-06-10]. （原始内容存档于2020-11-01）.  中文字元資料頁：粵語拼盤（敎院拼音版）（页面存档备份，存于互联网档案馆） 小學中文科常用字研究（页面存档备份，存于互联网档案馆） 香港教育學院自學教材 粵語拼音輸入法(以「教院式」為正音)（页面存档备份，存于互联网档案馆） 广东话拼音输入法(以「教院式」)[失效連結]
交换价值

交換價值（英文：Exchange value）在政治经济学指的是當一種產品在進行交換時，能換取到其他產品的價值。 与人类学领域的自由价值学说相反，交换价值是马克思提出的概念。 交換價值在馬克思的學說中，是物品藉著一種明確的經濟關係才能夠產生出的價值，也就是說，經濟關係乃是交換價值的背景。交換價值只有在一個產品在進行交換時，特別是產品被作為商品在經濟關係中出售及購買時，才具有意義。交换价值的根本属性是产品的使用价值，但是交换价值在商品交易中是根据双方需求会发生较大的波动。例如1公升水，在平时和旱季，其使用价值是一样的，但是交换价值的变化就很大。 Howard Nicholas, Marx's theory of price and its modern rivals. London: Palgrave Macmillan, 2011.
黎啟憲

黎啟憲是前任香港九廣鐵路公司（下稱「九鐵」）市務總經理及收益策劃總經理，他在2006年所發生九廣鐵路人事風波中，因帶領19名高級職員集體請假，到位於中環的辦事處召開記者會，而被九鐵管理局終止合約。 2006年3月14日下午，九鐵管理局正就當時所發生的人事風波，在中環香港會所大廈的辦事處進行緊急會議，黎啟憲帶領14名總經理及5名部門主管到辦事處，聲稱要了解會議情況；並於同日下午在另一會議室召開記者招待會，以表達對兵變事件立場。 會中，黎啟憲表示得知時任九鐵署理行政總裁黎文熹於3月9日曾會見過管理層，指黎文熹去信表示關注公司管治問題、主席及行政總裁權責模糊等問題。黎啟憲也表示同意黎文熹所指問題，並不認同主席田北辰的責備文化、跟管理層缺乏互信等問題。黎啟憲又說，他們全部19名出席記者會的員工都有簽署聯名信，支持黎文熹反映擔憂，並強調各人均出於自願，並無想到人事去留問題。回應記者提問時，他指「如果田北辰提出辭職，或者是一個可行的（解決問題）方案」，但拒絕更進一步回應記者關於人事去留的問題。 九鐵發言人稱，前往管理局辦公室的總經理及部門主管，請假半天出席全屬自發支持黎文熹，並非擅離職守。發言人堅稱此對工作無影響。 會議於當日下午6時許結束，最後主席田北辰與署理行政總裁黎文熹繼續合作。但政府對以黎啟憲為首的管理層集體請假感到不滿，時任行政長官曾蔭權更表明必須嚴正處理。 3月15日，黎啟憲在一家電視台的電話訪問中表示，「不覺得會有紀律處分的問題，也不存在任何憂慮……（召開記者會）是為了市民利益著想。」 當時亦有消息指，20名管理層請假獲得上級共5名總監的批准，九鐵發言人亦證實有關報導，但不清楚各人請假的確切時間。另外亦有消息指出，黎啟憲是黎文熹親自聘請的員工；而過去一直在財務部工作的黎啟憲卻在兩鐵醞釀合併時調至市務部，避過被指最可能被取締的財務部。也有消息指，黎啟憲另有家族生意，故財政包袱較輕，能敢於發言。 2006年3月16日上午，九鐵宣佈15日的決定，指黎啟憲帶領管理層集體告假、損害公司形象，終止其聘用合約。而黎文熹亦而此事引咎辭職，獲管理局所接納。詹伯樂接任九鐵署理行政總裁一職。 2006年香港九廣鐵路公司人事變動事件 〈黎啟憲起帶頭作用被炒〉，載香港《明報》，2006年3月16日 12:20pm更新 〈踩場九鐵經理勢受處分 田北辰留任 特首促嚴正處理紀律〉，載香港《明報》，2006年3月16日 〈黎文熹愛將不憂秋後算帳〉，載香港《明報》，2006年3月16日 〈「若田北辰辭職是可行方案」 20主管踩場聲援黎文熹〉，載香港《明報》，2006年3月15日 〈九鐵高層公然晒馬〉，載香港《東方日報》，2006年3月15日
公式 (数理逻辑)

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。[需要解释（似乎翻译自英语而语焉不详）] 公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。 一个变量 或 一个常量符号 或 f ( t 1 , . . . , t n ) {\displaystyle f(t_{1},...,t_{n})\,} ，这里的 f {\displaystyle f\,} 是一个n-元函数符号，而 t 1 , . . . , t n {\displaystyle t_{1},...,t_{n}\,} 是项。 t 1 = t 2 {\displaystyle t_{1}=t_{2}\,} ，这里的 t 1 {\displaystyle t_{1}\,} 和 t 2 {\displaystyle t_{2}\,} 是项 或 R ( t 1 , . . . , t n ) {\displaystyle R(t_{1},...,t_{n})\,} ，这里的 R {\displaystyle R\,} 是一个n-元关系符号，而 t 1 , . . . , t n {\displaystyle t_{1},...,t_{n}\,} 是项 或 ( ¬ φ ) {\displaystyle (\neg \varphi )} ，这里的 φ {\displaystyle \varphi \,} 是公式 或 ( φ ∧ ψ ) {\displaystyle (\varphi \land \psi )\,} ，这里的 φ {\displaystyle \varphi \,} 和 ψ {\displaystyle \psi \,} 是公式 或 ( ∃ x ) ( φ ) {\displaystyle (\exists x)(\varphi )\,} ，这里的 x {\displaystyle x\,} 是一个变量而 φ {\displaystyle \varphi \,} 是一个公式。 公式并不一定具备封闭形式（即不一定没有省略号）。 阶乘“！”、求和式“∑”和求积式“∏”等都隐含省略号。 排列数和组合数等都含有省略号。 按照通项公式去计算有时比按照定义去计算更加复杂。 斐波那契数列公式： F n = 1 5 { ( 1 + 5 2 ) n − ( 1 − 5 2 ) n } = φ n 5 − ( 1 − φ ) n 5 {\displaystyle F_{n}={\frac {1}{\sqrt {5}}}\left\{\left({\frac {1+{\sqrt {5}}}{2}}\right)^{n}-\left({\frac {1-{\sqrt {5}}}{2}}\right)^{n}\right\}={\varphi ^{n} \over {\sqrt {5}}}-{(1-\varphi )^{n} \over {\sqrt {5}}}} 但是相比较按照这个公式计算 f n {\displaystyle f_{n}\,} ，还是按照递归定义： f n = f n − 2 + f n − 1 ( n ≥ 3 ) {\displaystyle f_{n}=f_{n-2}+f_{n-1}(n\geq 3)\,} 进行计算更方便。 根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代西方哲学逻辑，复旦大学出版社235页} WFF 原子公式 句子 (数理逻辑) 原子句子 T-模式 NIST數學函數（页面存档备份，存于互联网档案馆）
公式

在科學中，公式（formula）是一種把資訊準確地以符号表達的方法；在邏輯上，是指用一串符號代表述詞、項、連接詞和量詞，且顯示其結果為真或假。最常使用的公式是數學公式和化學式。 在數學中，廣義上的公式是指在特定的形式文法下，把數學符號組合而成之結果。 在現代化學中，一個化學式中會有元素符號、數字，可能還有別的符號如圓括號、方括號和正負符號等，用以表示在化合物中各種原子所佔之比例，以及一些性質。例如H2O 即為水的化學式，表明每個水分子包含兩個氫原子和一個氧原子。類似地，O− 3 是指包含三個氧原子並帶有一個負電荷的臭氧分子。 此外，在汉语中，公式亦有“能普遍应用于同类事物的方式方法”的意思；公式化有套用某种固定格式、刻板地根据某种固定方式处理问题的意思。
MV-代数

在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 ⊕ {\displaystyle \oplus } 、一元运算 ¬ {\displaystyle \neg } 和常量 0 {\displaystyle 0} 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。 设 A 是个集合。MV-代数是代数结构，带有型   ⟨ 2 , 1 , 0 ⟩ {\displaystyle \ \langle 2,1,0\rangle } 的标识(signature) ⟨ A , ⊕ , ¬ , 0 ⟩ , {\displaystyle \left\langle A,\oplus ,\lnot ,0\right\rangle ,} ，它满足如下恒等式： ( x ⊕ y ) ⊕ z = x ⊕ ( y ⊕ z ) {\displaystyle (x\oplus y)\oplus z=x\oplus (y\oplus z)} , x ⊕ 0 = x {\displaystyle x\oplus 0=x} , x ⊕ y = y ⊕ x {\displaystyle x\oplus y=y\oplus x} , ¬ ¬ x = x {\displaystyle \lnot \lnot x=x} , x ⊕ ¬ 0 = ¬ 0 {\displaystyle x\oplus \lnot 0=\lnot 0} ,   ¬ ( ¬ x ⊕ y ) ⊕ y = ¬ ( ¬ y ⊕ x ) ⊕ x {\displaystyle \ \lnot (\lnot x\oplus y)\oplus y=\lnot (\lnot y\oplus x)\oplus x} . 备注：通过前三个公理 ⟨ A , ⊕ , 0 ⟩ {\displaystyle \left\langle A,\oplus ,0\right\rangle } 是交换幺半群。 或者作为替代，MV-代数是一个剩余格 A = ⟨ L , ∧ , ∨ , ⊗ , → , 0 , 1 ⟩ {\displaystyle A=\left\langle L,\wedge ,\vee ,\otimes ,\rightarrow ,0,1\right\rangle } 满足额外恒等式 ∀   x , y ∈ A : x ∨ y = ( x → y ) → y {\displaystyle \forall \ x,y\in A:x\vee y=(x\rightarrow y)\rightarrow y} 。 Hájek (1998)描述了这两个公式的等同。 一个简单的例子是 A = [ 0 , 1 ] {\displaystyle A=[0,1]\,} ，带有定义为 x ⊕ y = m i n ( x + y , 1 ) {\displaystyle x\oplus y=min(x+y,1)} 和 ¬ x = 1 − x {\displaystyle \lnot x=1-x} 的运算。 在多值逻辑中，给定一个 MV-代数 A，一个 A-賦值就是从命题演算中公式的集合到 MV-代数的函数。如果对于所有 A-賦值这个函数把一个公式映射到 1（或 ¬ {\displaystyle \lnot } 0），则这个公式是一个 A-重言式。因此对于无穷值逻辑（比如模糊逻辑、武卡谢维奇逻辑），我们设 [0,1] 是 A 的下层集合来获得 [0,1]-賦值和 [0,1]-重言式（经常就叫做賦值和重言式）。 Chang 发明 MV-代数来研究波蘭數學家扬·武卡谢维奇（Jan Łukasiewicz）在 1920 年介入的多值逻辑。Chang 的完备定理(1958, 1959) 声称任何在 [0,1] 区间成立的 MV-代数等式也在所有 MV-代数中成立。通过这个定理，证明了无穷值的武卡谢维奇逻辑可以被 MV-代数所刻画。后来同样适用于模糊逻辑。这类似于在 {0,1} 成立的布尔代数等式在任何布尔代数中也成立，布尔代数因此刻画了标准二值逻辑。 Chang, C. C. (1958) "Algebraic analysis of many-valued logics," Transactions of the American Mathematical Society 88: 476-90. ------ (1959) "A new proof of the completeness of the Lukasiewicz axioms," Transactions of the American Mathematical Society 88: 74-80. Cignoli, R. L. O., D'Ottaviano, I, M. L., Mundici, D., 2000. Algebraic Foundations of Many-valued Reasoning. Kluwer. Di Nola A., Lettieri A. (1993) "Equational characterization of all varieties of MV-algebras," Journal of Algebra 221: 123-31. Hájek, Petr (1998) Metamathematics of Fuzzy Logic. Kluwer. Stanford Encyclopedia of Philosophy："Many-valued logic （页面存档备份，存于互联网档案馆）" -- by Siegfried Gottwald. 布尔代数 武卡谢维奇逻辑
华盛顿县 (亚拉巴马州)

华盛顿县 （英語：Washington County）是美国阿拉巴马州的一个县，它是以第一位美国总统乔治·华盛顿命名的。2000年该县有18097名居民，县府为查汤姆。华盛顿县是一个完全禁酒的县。 华盛顿县是阿拉巴马州最早的县，1800年6月4日建县。 南北战争时期1863年县内三分之二的男白人报名参加联盟军队。但是他们申请在本地驻扎以防止当地的奴隶暴动，原因是当地有许多大庄园和众多奴隶。 按美国人口调查局数据华盛顿县总面积为2,819平方公里，其中2,799平方公里为陆地面积，20平方公里为水面，也就是说水面占总面积的0.72%。 按2000年的人口普查数据华盛顿县有18,097个居民，6,705个住户，5,042个家庭，人口密度为每平方公里六人。其中64.98%为白人、26.89%为黑人、7.12%为美国原著民、0.06%为亚洲人、0.05%为其他人，0.87%为混血儿，0.88%为拉丁裔。 37.90%的住户有18岁以下的孩子，59.10%的住户是结婚夫妇，12.50%是单身抚养儿童的妇女，24.80%不是家庭。22.80%的住户是65岁以上的老人，10.10%的住户有65岁以上的老人。平均每个住户有2.69居民，平均每个家庭有3.17居民。 28.70%的人口小于18岁，8.60%在18岁和24岁之间，27.40%在25岁和44岁之间，22.90%在45岁和64岁之间，12.40%在65岁以上，平均年龄为35岁。性别比为女：男=100：96.10。18岁以上居民的性别比为女：男=100：91.10。 华盛顿县平均住户的年收入为30,815美元，平均家庭的年收入为37,881美元。男子的平均年收入为35,237美元，女子为18,337美元。整个县的人均年收入为14,081美元。18.50%的人口以及14.80%的家庭生活在贫困线以下。21.50%18岁以下的孩子和22.70%65岁以上的老人生活在贫困线以下。