stanford-oval/wikipedia huggingface dataset:
加普冰原島峰

67°54′S 62°29′E﻿ / ﻿67.900°S 62.483°E﻿ / -67.900; 62.483
加普冰原島峰（英語：）是南極洲的冰原島峰，位於麥克羅伯特森地，屬於弗拉姆山脈中大衛山脈的一部分，海拔高度1,030米，現時由南極條約體系管理。
纳亚克

| 纳亚克 Nailhac |
| --- | --- |
 法國市镇

纳亚克的位置  
纳亚克显示法国的地图纳亚克显示多尔多涅省的地图
坐标：45°13′38″N 1°09′10″E﻿ / ﻿45.2272°N 1.1528°E﻿ / 45.2272; 1.1528
国家:  法國
大区:  
省:  多尔多涅省
面积1
 • 市镇: 19.35 平方公里（7.47 平方英里）
人口（2021年）
 • 市镇: 293人
 • 密度: 15.1人/平方公里（39.2人/平方英里）
时区: CET（UTC+01:00）
 • 夏时制: CEST（UTC+02:00）
邮政编码: 24390
INSEE: 24302 
省级选区: 上黑色佩里戈尔县（英语：）
海拔: 161—357（528—1,171英尺） （平均：259米）
網站: http://www.nailhac.eu
1法國統計部門在計算土地面積時，不計算面積大於1平方公里的湖泊、池塘、冰川和河口。 2「人口不重複計算」：擁有多重居住地的居民（如：學生和軍人）僅計算一次。
纳亚克（法語：，法语发音：[najak]；奧克語：）是法国多尔多涅省的一个市镇，原属佩里格区，2017年起改属萨拉拉卡内达区。
地理

纳亚克（45°13'38"N, 1°9'10"E）面积19.35 平方千米，位于法国新阿基坦大区多爾多涅省，该省份为法国西南部内陆省份，是法國本土面积第三大的省，大致对应佩里戈尔地区，北起顺时针与夏朗德省、上维埃纳省、科雷兹省、洛特省、洛特-加龙省、吉倫特省和滨海夏朗德省接壤。
与纳亚克接壤的市镇（或旧市镇、城区）包括：欧特福尔、圣拉比耶、巴德福勒当斯、拉沙佩勒圣让、沙特尔、格朗日当斯。
纳亚克的时区为UTC+01:00、UTC+02:00（夏令时）。
行政

纳亚克的邮政编码为24390，INSEE市镇编码为24302。
政治

纳亚克所属的省级选区为上黑色佩里戈尔县（英语：）。
人口

纳亚克于2021年1月1日时的人口数量为293人。
纳亚克的OSM定位图
1962-2008年间纳亚克人口变化图示
Beloved

Beloved可以指：
泰國電影13 駭人遊戲
香港歌手李樂詩第二張專輯Beloved (專輯)
土爾扈特南中旗

土爾扈特南中旗是青海蒙古的一旗，俗稱“永安扎萨、旦巴扎萨、丹巴札薩、石禮格爾經札薩”。元臣翁罕，數傳至博第蘇克，自稱青海土爾扈特台吉之裔。雍正三年授札薩克一等台吉，世襲。佐領四。牧地當登努爾特達巴罕之陽，東至果庫圖爾，南至果庫圖爾山木庫爾，西至庫克烏松，北至袞阿爾台。現駐牧地在祁連縣永安灘。
沿革

土爾扈特南中旗札薩克一等台吉游牧。保蘭阿噶勒琥子車臣諾顏，生拉瑪達什，號圖爾根台吉。子索諾木喇布坦多爾濟。雍正三年(1725年)，授札薩克一等台吉。七年(1729年)卒。嗣絕，以博第蘇克曾孫棟襲。四十七年(1782年)，詔世襲罔替。民國八年晉封輔國公。
歷任札薩克

| 世代 | 姓名 | 襲爵年份 | 註釋 |
| --- | --- | --- | --- |
| 初　封 | 索諾木喇布坦多爾濟 |  | 土爾扈特族，台吉翁罕之十世孫，曾祖保蘭阿噶勒琥，祖父車臣諾顏，父拉麻達什，號圖爾根台吉。雍正三年授扎薩克一等台吉。七年卒。 |
| 一次襲 | 棟 |  | 索諾木喇布坦多爾濟族曾孫。雍正七年襲扎薩克一等台吉。乾隆五年卒。 |
| 二次襲 | 薩喇 |  | 棟長子。乾隆五年襲扎薩克一等台吉。三十七年卒。 |
| 三次襲 | 達什喇布坦 |  | 薩喇長子。乾隆三十七年襲扎薩克一等台吉。四十五年卒。 |
| 四次襲 | 薩木都布扎木素 |  | 薩喇次子。乾隆四十五年襲扎薩克一等台吉。四十七年詔世襲罔替。嘉慶五年卒。 |
| 五次襲 | 多爾濟旺濟勒 |  | 薩木都布扎木素族弟。嘉慶五年襲。道光二十一年卒。 |
| 六次襲 | 端多布那木濟勒 |  | 多爾濟旺濟勒子。道光二十一年襲。 |
| 七次襲 | 丹巴 |  | 端多布那木濟勒孫。同治十二年襲。光緒七年，捐輸俸銀案內，恩施加三級，記錄二次。光緒十七年(1892年)，受西北戰亂影響，旗民逃散，印信丟失，丹巴外逃。戰亂平息後，丹巴四招旗民，重回故地，後改稱丹巴旗。光緒二十三年，青海軍務一律肅清案內，賞戴花翎。光緒二十四年赴京年班，賞乾清門行走。	 　 |
| 八次襲 | 旺慶楞布 |  | 丹巴子，光緒十九年(1893年)襲札薩克，民國8年(1919年)4月24日晉封輔國公，民國34年(1945年)病故，其職由拉恆代行。或作旺慶隆布、旺慶隆保、旺沁隆珠。 |
| 九次襲 | 拉恆 |  | 代行，1949年旗民40戶180餘人。 |
參考資料

↑  《清史稿》（關外二次本）卷七十九　志五十四／地理二十六／青海／青海土爾扈特部
↑  《政府公報》民國8年4月25日第1157號
圣安德烈-多莱拉格

圣安德烈-多莱拉格（法語：）是法国加尔省的一个市镇，属于尼姆区。该市镇总面积9.75平方公里，2009年时的人口为410人。
人口

圣安德烈-多莱拉格人口变化图示
3,5-二羟基苯甲酸

| 3,5-Dihydroxybenzoic acid |
| --- | --- |

IUPAC名 3,5-Dihydroxybenzoic acid
别名: alpha-Resorcylic acid
识别
CAS号: 99-10-5  Y
PubChem: 7424
ChemSpider: 7146
SMILES:    C1=C(C=C(C=C1O)O)C(=O)O 
IUPHAR配体: 5783
性质
化学式: C7H6O4
摩尔质量: 154.12 g·mol−1
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
3,5-二羟基苯甲酸是一种有机化合物，化学式为C7H6O4，它是二羟基苯甲酸的同分异构体之一，为无色固体。
合成

苯甲酸和发烟硫酸反应，得到3,5-二磺酸基苯甲酸，用碳酸钠转化为磺酸钠盐后，经过碱熔、酸化得到产物。
用途

它通过加氢反应可以得到5-羧基-1,3-环己二酮。
徐园子乡

| 徐园子乡 |
| --- | --- |
乡
坐标：37°50′07″N 117°33′26″E﻿ / ﻿37.83515°N 117.55714°E﻿ / 37.83515; 117.55714
国家:  中华人民共和国
上级行政区: 庆云县
村级区划单位数:  28 0社区 28行政村 
时区: 北京时间（UTC+8）
行政区划代码: 37 14 23 203
电话区号: +86 
徐园子乡，是中华人民共和国山東省德州市庆云县下辖的一个乡镇级行政单位。
行政区划

徐园子乡下辖以下地区：
徐园子村、​小赵村、​巴沽村、​后赵村、​东赵村、​周家村、​柴家村、​孙家村、​邢家村、​蒋家村、​闫枣行村、​龙王庙村、​西刘村、​东刘村、​张培元村、​苏家村、​后道口村、​东安务村、​西安务村、​后安务村、​刘贵村、​黄道口村、​杨道口村、​马古台村、​东袁村、​赵集村、​西袁村和大袁村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
2018年國際足協世界盃C組

条目：2018年國際足協世界盃
2018年國際足協世界盃分組賽C組於2018年6月16日至26日期間舉行。本組別包括法國、澳大利亞、秘魯及丹麥。
本組別的小組首名將於十六強面對D組次名；而本組的小組次名將面對D組首名。
隊伍

| 抽籤 位置 | 隊伍 | 檔次 | 所屬協會 | 決賽週 晉級途徑 | 決賽週 晉級日期 | 決賽週 晉級次數 | 決賽週 最近參與 | 決賽週 最佳成績 | 世界排名> 2017年 10月 | 世界排名> 2018年 6月 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| C1（種子隊） |  法國 | 1 | 歐洲 | 歐洲區A組首名 | 2017年10月10日 | 15次 | 2014 | 冠軍 (1998) | 7 | 7 |
| C2 |   | 4 | 亞洲 | 亞洲區中北美洲–亞洲附加賽勝方 | 2017年11月15日 | 5次 | 2014 | 十六強 (2006) | 43 | 36 |
| C3 |  秘魯 | 2 | 南美洲 | 南美洲區大洋洲–南美附加賽勝方 | 2017年11月15日 | 5次 | 1982 | 半準決賽 (1970)，第二圈 (1978) | 10 | 11 |
| C4 |  丹麦 | 3 | 歐洲 | 歐洲區歐洲附加賽勝方 | 2017年11月14日 | 5次 | 2010 | 半準決賽 (1998) | 19 | 12 |
積分榜

| 排名 | 隊伍 论 编 | 賽 | 勝 | 和 | 負 | 得 | 失 | 差 | 分 | 獲得資格 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  法國 | 3 | 2 | 1 | 0 | 3 | 1 | +2 | 7 | 晉級淘汰賽 |
| 2 |  丹麦 | 3 | 1 | 2 | 0 | 2 | 1 | +1 | 5 | 晉級淘汰賽 |
| 3 |  秘魯 | 3 | 1 | 0 | 2 | 2 | 2 | 0 | 3 |  |
| 4 |   | 3 | 0 | 1 | 2 | 2 | 5 | −3 | 1 |  |
資料來源：FIFA
排名規則：分組賽排名準則
賽事

所有列出的時間都是當地時間。
賽事 > 法國 vs 澳大利亞

法國  v
| 法國  | 2–1  |   |
| --- | --- | --- |
|    58'（）    81'（乌龙球）  | 報告 |   62'（） |
| --- | --- |
             法国 :              澳大利亚
賽事 > 秘魯 vs 丹麥

秘魯  v  丹麦
| 秘魯  | 0–1  |  丹麦 |
| --- | --- | --- |
|  | 報告 |   59' |
賽事 > 丹麥 vs 澳大利亞

丹麦  v
| 丹麦  | 1–1  |   |
| --- | --- | --- |
|    7'  | 報告 |    39'（）  |
| --- | --- |
             丹麦 :              澳大利亚
賽事 > 法國 vs 秘魯

法國  v  秘魯
| 法國  | 1–0  |  秘魯 |
| --- | --- | --- |
|    34'  | 報告 |  |
賽事 > 丹麥 vs 法國

丹麦  v  法國
| 丹麦  | 0–0  |  法國 |
| --- | --- | --- |
|  | 報告 |  |
| --- | --- |
             丹麦 :              法国
賽事 > 澳大利亞 vs 秘魯

v  秘魯
|   | 0–2  |  秘魯 |
| --- | --- | --- |
|  | 報告 |    18'    50'  |
註記

↑  本排名為2017年10月11日公佈之排名，亦是決賽週抽籤所用之排名。
參考

↑   (PDF). FIFA.com. 2017-12-01  [2017-12-01]. （原始内容 (PDF)存档于2018-01-27）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 2018-06-16  [2018-06-16]. （原始内容 (PDF)存档于2018-06-16）.
↑  . FIFA.com. Fédération Internationale de Football Association. 2018-06-16  [2018-06-16]. （原始内容存档于2018-12-24）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 21 June 2018  [21 June 2018]. （原始内容存档 (PDF)于2018-07-08）.
↑  . FIFA.com. Fédération Internationale de Football Association. 21 June 2018  [21 June 2018]. （原始内容存档于2018-12-24）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 26 June 2018  [26 June 2018]. （原始内容存档 (PDF)于2018-06-26）.
↑  . FIFA.com. Fédération Internationale de Football Association. 26 June 2018  [26 June 2018]. （原始内容存档于2019-01-05）.
外部連結

2018 FIFA World Cup Group C（页面存档备份，存于）, FIFA.com
锡弗斯海姆

| 锡弗斯海姆 Siefersheim |
| --- | --- |
市镇
锡弗斯海姆在德国的位置
坐标：49°47′00″N 7°57′00″E﻿ / ﻿49.7833°N 7.95°E﻿ / 49.7833; 7.95
国家: 德国
州: 莱茵兰-普法尔茨州
面积
 • 总计: 6.28 平方公里（2.42 平方英里）
人口（2011）
 • 總計: 1,260人
 • 密度: 201人/平方公里（520人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
邮编: 55599
锡弗斯海姆（德语：）是德国莱茵兰-普法尔茨州的一个市镇。总面积6.28平方公里，总人口1260人，其中男性625人，女性635人（2011年12月31日），人口密度201人/平方公里。
ACB

ACB可以指：
人物

艾米·康尼·巴雷特（Amy Vivian Coney Barrett）美国最高法院第115任大法官
银行

亞洲商業銀行（Asia Commercial Bank）越南的一家私营银行
组织

極光大麻（Aurora Cannabis）
澳大利亚分级委员会（Australian Classification Board）
运动

西班牙篮球甲级联赛（Liga ACB）
其它

美国海军工程营（Amphibious Construction Battalion）
空气斷路器（Air circuit breaker）又称“空气开关”、“空开”
“主动脉冠状动脉搭桥”手术（Aortocoronary bypass）又称“冠状动脉旁路移植”手术
N-(5-氯苯并噁唑)乙酰胺的简称
2010年北京交通拥堵治理措施

2005年至2010年，北京市境内汽车数量从258万猛增至469万，引发了空前的拥堵。虽然自2008年奥运会之后，北京实施了尾号限行，但仍然难以缓解拥堵。为了破解这个难题，北京市人民政府于2010年12月23日公布了《关于进一步推进缓解首都交通拥堵工作意见》，推出包括摇号上牌、提高中心城区停车费、加快建设公共交通系统等一系列强有力的措施缓解北京的拥堵局面。
新政背景 > “首堵”

最初，北京的交通拥堵集中在一些重点路口和立交桥，后来发展到道路拥堵。为了应对拥堵，市政府修建了很多道路，如二环、三环路等。但是2001年以后，拥堵逐渐加剧，不但在早晚高峰通勤时段，在其他时段也出现了交通拥堵的情况。尤其是2007年允许非本地户籍居民购车上牌之后，北京市机动车保有量飞速增长，交通拥堵愈演愈烈。市民开始以“首都”谐音为“首堵”讽刺北京的交通拥堵情况，并调侃称北京的道路都是停车场。到了2010年，一场小雨便引起9个小时的大堵车，交管局的交通流量地图“全线飘红”。
由于北京的道路网已经无法继续扩建，北京对于交通拥堵的政策逐渐转向公交优先政策。2005年，北京市明确了公共交通的公益性地位，并通过政府补贴，于2007年先后下调公交、地铁票价：公交票价一元起价，持一卡通打4折（学生卡2折）、地铁2元并可以任意换乘，“十一五”（2006年－2010年）期间公共交通基础设施投资占交通基础设施总投资的比例逐年提升，地铁运营里程从114公里上升到336公里。但这样的进步仍然无法缓解交通拥堵的压力。
新政背景 > 尾号限行

条目：北京机动车尾号限行措施
为了改善交通，缓解空气污染，北京在2007年好运北京系列测试赛和2008年奥运会、残奥会期间进行了单双号限行。残奥会结束之后，北京发布管理措施，机动车每周按尾号停驶一天。这一项政策不断延续，目前的措施截止日期为2017年4月9日。
虽然这项政策起到了一定效果，但是这项政策的合法性遭到了质疑，对网民的调查结果也显示只有少数人支持这项政策。更加严重的问题是，随着机动车数量的快速增长，限行三年后北京的交通拥堵情况已经回到了限行前的水平。
新政背景 > 出台过程

北京的新一轮治堵政策酝酿已久。虽然2008年就有官员曾经透露可能通过限制机动车数目增长治理堵车，但北京市发改委很快出面澄清。2011年9月的一次大堵车加速了新政的推进，10月13日北京市委常委即召开会议研究治堵措施，11月期间，北京市更是数次召开会议研究限制机动车增长的措施。11月23日，《财经国家周刊》首次披露新政细节，包括重点路段高峰期单双号限行、征收拥堵费、限制机动车购买等措施，一时引起强烈反应，甚至引发车市的恐慌情绪。12月7日，治堵新政，包括制止机动车过快增长的措施、通过经济手段控制机动车上路在内，获得国务院原则批准。
12月13日，新政草案公布并开始一周的征求民意。根据市政府公布的数据，大部分市民支持治堵措施，只有5.8%表示反对，反对意见集中在限制机动车增长、单双号、公车和拥堵费等方面。媒体称新政为“史上最严”，但也有评论认为治堵措施没有办法真正缓解拥堵。12月23日，新政正式公布，其中单双号仅是“在必要时”使用而拥堵费则仍在“研究”阶段。
政策内容 > 摇号上牌

为了抑制机动车增加的速度，北京推出了“摇号上牌”的政策，定额随机分配小汽车指标。购车人需先通过“北京缓解拥堵”网站或各区县对外办公窗口提交申请，申请经过审核方获得编码，政府每月从编码中随机抽出若干号码，分配。2011年，通过摇号上牌的机动车指标为24000个，其中私家车占88%，营运用机动车占2%，其他单位用机动车占10%。
新政同时增加了对外地人购车的限制。只有拥有北京市户口，或有北京市工作居住证的外地人，或有在京5年以上纳税证明的外地人才可以申请摇号。此外，还规定每名驾驶员只能购买一辆车。
摇号编码的有效期为3个月，只要登陆网站点击“确认延长”即可延长3个月。车牌指标的有效期为6个月。如果6个月内没有使用这个指标，这个指标作废，同时加入该月的摇号池重新分配。虽然北京市交通委员会曾上报对于逾期不使用指标的惩罚提案，但是未获批准。此外，对于长期参加摇号但一直未能中签的人也没有照顾政策。
这是北京市乃至全国第一次采用摇号限制机动车增长，受到了全世界的广泛关注。
政策内容 > 停车费调整

|  | 占道停车 第二小时起增加50% | 露天停车场 | 停车楼 地下停车场 |
| --- | --- | --- | --- |
| 一类地区 | 10元 | 8元 | 6元 |
| 二类地区 | 6元 | 5元 | 5元 |
三类地区: 2元
2011年4月1日起，北京大幅上调非居住区白天（北京时间每天7时至21时）停车费用，全市分为三类地区，第一类为三环内、中关村西区、翠微商业区、燕莎地区、中央商务区；第二类为五环内；第三类为五环外。占道停车第二小时起加收50%的费用。费用最贵的第一类地区占道停车费从原先的每小时2元大幅上涨至第一小时10元，以后每小时15元。按每天停车8个小时计算，每天的停车费上涨达99元。同时，一类地区停车费最低计时单位由30分钟缩短为15分钟。居住区、轨道交通配套停车场和夜间停车费用不调整。
停车费上涨后，一类区域的停车量显著下降，北京交通发展研究中心的监测数据显示，11个监测地点中有7个停车利用率下降，整体平均下降16%。从拥堵路段的数量来看，停车费上涨起到了极大的缓堵作用，五环内交通拥堵指数明显下降。但是一些上班族仅仅是更换了停车地点，仍然开车上班，一些出租车司机也表示堵车情况并未缓解。为了应对高涨的停车费，路边和胡同内违章停车大幅增加，甚至有车主取下号牌违章停在路边，为了治理这种现象，交通管理部门增派人手上街整顿违章停车，而取下号牌的车辆会被直接拖走。
政策内容 > 加强限行

参见：北京机动车尾号限行措施
同时，已经实施的限行措施得到了进一步强化。原先违反尾号限行的车辆只会被处罚一次，这让一些司机宁可被罚100元也要违反限行上路；新政实施后，摄像头改为根据机动车的行驶路线来判断是否为多次违规上路，如果判断为再次违规则将再加一张罚单。对外地车辆的限制进一步加大，在工作日早晚高峰期间，非北京的载客车辆禁止进入五环，以减缓早晚高峰交通压力。
政策内容 > 道路建设

由于北京交通拥堵很大程度上是由于微循环不畅，而非主干道通行能力不足，治堵措施中提出打通400公里微循环道路，其中在2012年以前完成中心区200公里微循环道路的建设。此外，北京还开始筹划多条地下隧道的建设工作，包括东二环（京承高速至左安门）、西二环（德胜门至菜户营）、连接海淀山后地区的西山隧道、下穿清华大学、玉渊潭的公路隧道，以及京藏高速周边的公路隧道等。
政策内容 > 公交优先

作为缓堵措施的一部分，北京决定加速地铁8号线二期北段和9号线南段的建设，开通时间从2012年底提前至2011年。两条线于2011年12月31日与原计划2011年年底开通的15号线一期东段同时开通。与此同时，北京还开始实施既有线的改造工程，包括1号线更换信号、风扇车加装空调改造、列车由6节编组改为7节，2、4、5、10号线增购列车以实现2分钟间隔，5号线车辆段扩建，1、2、13、八通线加装屏蔽门等。
地面公交方面，计划在原有300公里公交专用道的基础上再增加150公里，使公交专用道联成网络；同时，校车、班车、机场大巴将可以走公交专用道。同时，增加“微循环”公交以方便接驳居住区和地铁站，新设从回龙观、天通苑和通州等居住区前往中关村、CBD、金融街的通勤快车。2011年5月，北京在京通快速路双会桥和东四环四惠桥间施划公交专用道，同年11月延长至东三环国贸桥。公交道开通后公交车车速达到60公里每小时，较开通前提升达2倍，甚至连救护车都占用公交专用道而非应急车道行驶，地铁八通线日客流下降了3%，私家车速度虽然在公交道实施初期有所下降，但是很快提升到原来的112%。京通快速路公交专用道获得成功后，北京开始着手在其他快速路和高速路上施划公交专用道，如三环、四环等。
影响和争议 > 对车市和汽车工业的影响

限购令的期限定在了发布当天，即12月23日。这一天北京的汽车销售发生了井喷，直到深夜仍有人到4S店下购车订单，一些车型在一天内数次涨价，甚至有4S店通宵营业。预计仅这一天北京市汽车保有量就增加了9000辆。
限购开始后，北京车市进入低迷期，不少国产品牌销售量创历史新低，2011年1月亚运村汽车交易市场新车交易量同比下降72%。如此大规模的市场萎缩引发了整个产业链的一次地震。汽车经销商被迫改变策略或者转战二三线城市。受到多个城市效仿北京推出机动车限购政策、油价上涨、通货膨胀的影响，加上2011年3月日本地震对日本汽车工业的打击，中国汽车销量2011年4月出现了27个月一来首次同比负增长。
影响和争议 > 新政效果

对于治堵新政的效果，各方说法不一。北京市交通委员会于2011年4月公布治堵效果称，第一季度交通拥堵指数比去年同期下降16.6个百分点，工作日平均持续拥堵时间减少一个小时，治堵“初见成效”。交通方面的专家也一致认为治堵有效，支持北京的治堵措施。但是2011年7月交通委组织的一项网上调查却显示出相反的结果，76.75%的网友认为治堵无效，其中购车摇号被认为是最没有效果的治堵措施。与此相对应，交通领域以外的专家也认为治堵措施效果“非常有限”。
影响和争议 > 公车透明化

北京交通拥堵中，北京大量的公车被认为是交通拥堵的罪魁祸首之一。拥堵治理措施征集市民意见时，由于对公车的限制很少，公车问题引发了大规模的讨论，市民向政府要求公车私车应“一视同仁”。到措施正式公布时，北京宣布将在“十二五”期间（2011年－2015年）不再增加公车数量。
与此同时，北京律师助理叶晓静向北京市交通委等部门提交了政府信息公开申请表，要求公开北京市的公车数量及型号。对此，北京市财政局负责人表示，会于2011年3月北京市各部门决算完成后公布公车数量，财政局也确实在3月最后一天公布了北京市公车数量为62026辆，范围包括北京市市级党政机关和市属全额拨款事业单位，其中市级公务车数目为20288辆；但是没有按照叶晓静的要求公布车辆型号。这是中国内地政府部门首次公布公车数量。同时，财政局表示将于每年7月市人大常委会审议各部门决算报告后公布公车数量。当年7月，北京市按照国务院要求，首次公布上年度三公经费，其中公务用车购置及运行维护费为9.1亿元。
罗紫琳

| 罗紫琳> 模特儿 |
| --- | --- |
国籍:  中华人民共和国
出生:  (1987-06-06) 1987年6月6日（37歲）  中国上海市


身高: 183（6英尺0英寸）
髮色: 黑色
瞳色: 黑色
三围: 85、61、90cm
 
罗紫琳（1987年6月6日—），上海人，中国大陆知名模特。2011年环球小姐中国区总决赛冠军，2011年第60届环球小姐总决赛第五名。
生平 > 学生时代

罗紫琳在高中前，一直因为身高而感到自卑，一米八的身高比多数大陆男学生都高。罗紫琳不想在同龄人中间过于显眼，每天只得驼着背走路。因为身材过于高挑，罗紫琳很难买到适身的裤子，尤其是运动裤，而学校的体育课规定必须穿运动裤。罗紫琳就跟老师商量，假如自己的体育测试成绩达到90分，就允许穿着牛仔裤上课。高中时候，罗紫琳还对自己的外貌很不自信：“当时我不喜欢自己的肤色，一点都不白，不喜欢自己的嘴唇，因为不是樱桃小嘴。后来我慢慢开始接受真实的自己，我就是这个样子，是我爸妈给我的，我为什么不接受呢。尤其是我成为模特后，找到了适合自己的路，当初让我自卑的缺点也成了优势。”
生平 > 职业生涯

罗紫琳成为模特前，曾经在瑞士商会实习过[來源請求]，发现自己并不适合朝九晚五的生活，所以选择了转行。罗紫琳成为模特后，因为当时进入中国的国外品牌不多，多数中国设计师都喜欢找175公分左右的模特，所以导致像罗紫琳这种身形的模特工作机会缺少。罗紫琳在与著名设计师陆坤合作过一次后，由于她出色地演绎出了服装的精髓，深得陆坤喜爱，伺候就两人开始了长期的合作。罗紫琳说：“陆坤是我的启蒙老师，他对我帮助很大，我非常敬重他。”
履历 > 时装秀

诺基亚

柯达

邓达智

帕兰朵

东北虎

杉杉

应大皮草

欧柏兰奴

马克力仙奴

马克华菲

中国国际时装周苏州丝绸节

上海时装周

法拉利车展
履历 > 平面广告

百思图

青岛啤酒
履历 > 杂志封面

上海新娘

大都市

都市生活

壹周刊

优雅
奖项

2003年3月 获2003上海国际时装模特大赛上海赛区亚军
2004年10月 获第五届中国中央电视台电视模特大赛合肥赛区冠军
2004年12月 获第五届中国中央电视台电视模特大赛全国总决赛第4名
2011年7月 获2011环球小姐中国区总决赛冠军及最佳人气奖
2011年 获得第60届环球小姐总决赛第五名
2013年 获得The Face前3名
参考资料

1 2  . 网易. 2011-07-08  [2012-01-01]. （原始内容存档于2019-08-19）.
刘智 (晋朝)

刘智（？—289年），西晋学者、历法家。字子房，号智安，或名刘世贤，或作刘世智。平原郡高唐县（今山东省禹城县西南）人。刘寔之弟。
刘智年轻时贫穷，负薪砍柴作为生计，读诵不辍，以儒行著称。在曹魏，担任中书黄门吏部郎。出任为颍川郡太守。入朝为秘书监，领南阳王师，加散骑常侍，在西晋，官至侍中、尚书、太常。精通历法，晋武帝时，参与制定新历。他以天象比附人事，以斗历改宪，推《四分法》，饰以虚言，名为《正历》后散佚。与刘寔一样，有文才，好学，著有《丧服释疑论》，在礼制上多所辨明。太康末年，卒于任上，谥号成。
參考資料

《晋书》卷四十一
2013年亞洲3對3籃球錦標賽

2013年亞洲3對3籃球錦標賽為第一屆亞洲3對3籃球錦標賽。賽事於2013年5月15日至16日在卡達杜哈舉行。
男子 > 淘汰賽階段

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 |  |  | 冠軍戰 | 冠軍戰 |
 
|   |   |   |  |  |  |  |  |  |  |  |
|   |   |   |  |  |  |  |  |  |  |  |
|   |  Qatar Maroon | 21 |  |  |  |  |  |  |  |  |
|   |  Qatar Maroon | 21 |  |  |   |   |  |  |  |  |
|   |  Qatar Grey | 9  |  |  |   |   |  |  |  |  |
|   |  Qatar Grey | 9  |  |  |  Qatar Maroon | 19 |  |  |  |  |
|   |   |   |  |  |  Qatar Maroon | 19 |  |  |  |  |
|   |   |   |  |  |  伊朗 | 16  |  |  |  |  |
|   |  伊朗 | 21 |  |  |  伊朗 | 16  |  |  |  |  |
|   |  伊朗 | 21 |  |  |  |  |  |  |   |   |
|   |  中華臺北 | 15  |  |  |  |  |  |  |   |   |
|   |  中華臺北 | 15  |  |  |  |  |  |  |  Qatar Maroon | 19 |
|   |   |   |  |  |  |  |  |  |  Qatar Maroon | 19 |
|   |   |   |  |  |  |  |  |  |  沙烏地阿拉伯 | 17  |
|   |  菲律賓 | 10 |  |  |  |  |  |  |  沙烏地阿拉伯 | 17  |
|   |  菲律賓 | 10 |  |  |   |   |  |  |  |  |
|   |  约旦 | 15  |  |  |   |   |  |  |  |  |
|   |  约旦 | 15  |  |  |  约旦 | 12 |  |  |  |  |
|   |   |   |  |  |  约旦 | 12 |  |  |  |  |
|   |   |   |  |  |  沙烏地阿拉伯 | 13  |  |  | 季軍戰 | 季軍戰 |
|   |  印度 | 5 |  |  |  沙烏地阿拉伯 | 13  |  |  | 季軍戰 | 季軍戰 |
|   |  印度 | 5 |  |  |  |  |  |  |   |   |
|   |  沙烏地阿拉伯 | 16  |  |  |  |  |  |  |   |   |
|   |  沙烏地阿拉伯 | 16  |  |  |  |  |  |  |  伊朗 | 19 |
|   |  |  |  |  |  |  |  |  |  伊朗 | 19 |
|   |  |  |  |  |  |  |  |  |  约旦 | 8  |
|   |  |  |  |  |  |  |  |  |  约旦 | 8  |
女子 > 淘汰賽階段

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|   | 半準決賽 | 半準決賽 |  |  | 準決賽 | 準決賽 |  |  | 冠軍戰 | 冠軍戰 |
 
|   |   |   |  |  |  |  |  |  |  |  |
|   |   |   |  |  |  |  |  |  |  |  |
|   |   | 18 |  |  |  |  |  |  |  |  |
|   |   | 18 |  |  |   |   |  |  |  |  |
|   |  尼泊尔 | 6  |  |  |   |   |  |  |  |  |
|   |  尼泊尔 | 6  |  |  |   | 17 |  |  |  |  |
|   |   |   |  |  |   | 17 |  |  |  |  |
|   |   |   |  |  |  蒙古国 | 19  |  |  |  |  |
|   |  蒙古国 | 18 |  |  |  蒙古国 | 19  |  |  |  |  |
|   |  蒙古国 | 18 |  |  |  |  |  |  |   |   |
|   |  斯里蘭卡 | 13  |  |  |  |  |  |  |   |   |
|   |  斯里蘭卡 | 13  |  |  |  |  |  |  |  蒙古国 | 14 |
|   |   |   |  |  |  |  |  |  |  蒙古国 | 14 |
|   |   |   |  |  |  |  |  |  |  印度 | 21  |
|   |  香港 | 17 |  |  |  |  |  |  |  印度 | 21  |
|   |  香港 | 17 |  |  |   |   |  |  |  |  |
|   |  黎巴嫩 | 9  |  |  |   |   |  |  |  |  |
|   |  黎巴嫩 | 9  |  |  |  香港 | 8 |  |  |  |  |
|   |   |   |  |  |  香港 | 8 |  |  |  |  |
|   |   |   |  |  |  印度 | 21  |  |  | 季軍戰 | 季軍戰 |
|   |  印度 | 21 |  |  |  印度 | 21  |  |  | 季軍戰 | 季軍戰 |
|   |  印度 | 21 |  |  |  |  |  |  |   |   |
|   |   | 5  |  |  |  |  |  |  |   |   |
|   |   | 5  |  |  |  |  |  |  |   | 10 |
|   |  |  |  |  |  |  |  |  |   | 10 |
|   |  |  |  |  |  |  |  |  |  香港 | 8  |
|   |  |  |  |  |  |  |  |  |  香港 | 8  |
獲勝者

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| 項目 | 金牌 | 银牌 | 铜牌 |
| 男子 |   Boney Watson Malek Saleem Khalid Suliman Yasseen Ismail |  沙烏地阿拉伯 Marzouq Al-Muwallad Ayman Al-Muwallad Mohammed Al-Saqer Nassir Abo-Jalas |  伊朗 穆罕默德·哈桑扎德 Saeid Davarpanah Mousa Nabipour 穆罕默德·贾姆希迪 |
| 女子 |  印度 Geethu Anna Jose Anitha Pauldurai Manisha Satyajit Dange Pratima Singh |  蒙古国 Buriadyn Altanzayaa Davaasürengiin Ganzul Jambalyn Ishtayaa Bayasgalany Solongo |   Irina Yakovleva Irina Kasparova Nigyara Nagiyeva Ayna Gokova |
參考資料

Results
外部連結

官方網站
北京民族大学

：此条目页的主题不是。
| 北京民族大学 |
| --- | --- |

地址:  中华人民共和国 北京市房山区窦店七里店（G107国道旁）
: 39°39′54″N 116°05′23″E﻿ / ﻿39.66505°N 116.08966°E﻿ / 39.66505; 116.08966
: 102402
类型: 全日制民办非学历高等教育机构
创办日期: 1984年1月 (1984-01)
关闭日期: 2021年12月20日 (2021-12-20)
校訓: 团结、文明、勤奋、创新
校歌: 《梦想飞翔》
学校网址: www.bjmzdx.org[]

北京民族大学地图
北京民族大学（Beijing Nationality University），简称“北民大”；学校创建于1984年，是经北京市教育委员会批准成立的一所全日制民办非学历高等教育机构。
据2018年6月学校官网显示，学校校区占地面积为419亩，校园建筑面积为12万平方米；有全日制在校学生2000余人，其中有30多个少数民族成分，少数民族学生占在校生的20%。
2018年7月4日，北京市教委发布通报，北京民族大学因存在混淆学历非学历性质虚假招生的问题，被责令停止招生。
2021年10月28日，北京市教委印发《北京市教育委员会关于10所民办学校办学许可证废止并注销的公告》（京教民〔2021〕26号），北京民族大学、北京东方大学、北京兴华大学等10所民办学校办学许可证到期后未依法予以延续，自公告之日起依法废止并注销。
2021年12月20日，北京民族大学宣布终止办学。
2018年國際足協世界盃D組

条目：2018年國際足協世界盃
2018年國際足協世界盃分組賽D組於2018年6月16日至26日期間舉行。本組別包括阿根廷、冰島、克罗地亚及奈及利亞。
本組別的小組首名將於十六強面對C組次名；而本組的小組次名將面對C組首名。
隊伍

| 抽籤 位置 | 隊伍 | 檔次 | 所屬協會 | 決賽週 晉級途徑 | 決賽週 晉級日期 | 決賽週 晉級次數 | 決賽週 最近參與 | 決賽週 最佳成績 | 世界排名> 2017年 10月 | 世界排名> 2018年 6月 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| D1（種子隊） |  阿根廷 | 1 | 南美洲 | 南美洲區第三名 | 2017年10月10日 | 17次 | 2014 | 冠軍 (1978, 1986) | 4 | 5 |
| D2 |  冰島 | 3 | 歐洲 | 歐洲區I組首名 | 2017年10月9日 | 首次 | – | – | 21 | 22 |
| D3 |   | 2 | 歐洲 | 歐洲區歐洲附加賽勝方 | 2017年11月12日 | 5次 | 2014 | 季軍 (1998) | 18 | 20 |
| D4 |  奈及利亞 | 4 | 非洲 | 非洲區第三圈B組首名 | 2017年10月7日 | 6次 | 2014 | 十六強 (1994, 1998, 2014) | 41 | 48 |
積分榜

| 排名 | 隊伍 论 编 | 賽 | 勝 | 和 | 負 | 得 | 失 | 差 | 分 | 獲得資格 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |   | 3 | 3 | 0 | 0 | 7 | 1 | +6 | 9 | 晉級淘汰賽 |
| 2 |  阿根廷 | 3 | 1 | 1 | 1 | 3 | 5 | −2 | 4 | 晉級淘汰賽 |
| 3 |  奈及利亞 | 3 | 1 | 0 | 2 | 3 | 4 | −1 | 3 |  |
| 4 |  冰島 | 3 | 0 | 1 | 2 | 2 | 5 | −3 | 1 |  |
資料來源：FIFA
排名規則：分組賽排名準則
賽事

所有列出的時間都是當地時間。
賽事 > 阿根廷 vs 冰島

阿根廷  v  冰島
| 阿根廷  | 1–1  |  冰島 |
| --- | --- | --- |
|    19'  | 報告 |    23'  |
| --- | --- |
             阿根廷 :              冰岛
賽事 > 克羅地亞 vs 奈及利亞

v  奈及利亞
|   | 2–0  |  奈及利亞 |
| --- | --- | --- |
|  （英语：）  32'（乌龙球）    71'（）  | 報告 |  |
賽事 > 阿根廷 vs 克羅地亞

阿根廷  v
| 阿根廷  | 0–3  |   |
| --- | --- | --- |
|  | 報告 |    53'    80'    90+1'  |
| --- | --- |
             阿根廷 :              克罗地亚
賽事 > 奈及利亞 vs 冰島

奈及利亞  v  冰島
| 奈及利亞  | 2–0  |  冰島 |
| --- | --- | --- |
|    49', 75'  | 報告 |  |
賽事 > 奈及利亞 vs 阿根廷

奈及利亞  v  阿根廷
| 奈及利亞  | 1–2  |  阿根廷 |
| --- | --- | --- |
|    51'（）  | 報告 |    14'    86'  |
賽事 > 冰島 vs 克羅地亞

冰島  v
| 冰島  | 1–2  |   |
| --- | --- | --- |
|    76'（）  | 報告 |    53'    90+1'  |
| --- | --- |
             冰岛 :              克罗地亚
註記

↑  本排名為2017年10月11日公佈之排名，亦是決賽週抽籤所用之排名。
參考

↑   (PDF). FIFA.com. 1 December 2017  [1 December 2017]. （原始内容 (PDF)存档于2018-01-27）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 16 June 2018  [16 June 2018]. （原始内容存档 (PDF)于2018-09-15）.
↑  . FIFA.com. Fédération Internationale de Football Association. 16 June 2018  [16 June 2018]. （原始内容存档于2018-12-24）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 21 June 2018  [21 June 2018]. （原始内容存档 (PDF)于2018-09-15）.
↑  . FIFA.com. Fédération Internationale de Football Association. 21 June 2018  [21 June 2018]. （原始内容存档于2019-01-05）.
1 2 3   (PDF). FIFA.com. Fédération Internationale de Football Association. 26 June 2018  [26 June 2018]. （原始内容存档 (PDF)于2018-09-15）.
↑  . FIFA.com. Fédération Internationale de Football Association. 26 June 2018  [26 June 2018]. （原始内容存档于2018-12-24）.
外部連結

2018 FIFA World Cup Group D（页面存档备份，存于）, FIFA.com
优刻得

| UCloud |
| --- | --- |
成立: 2012年
代表人物: 季昕华（创始人兼CEO）
總部: 上海
業務範圍: 全球
产业: 云计算
產品: 云计算、大数据、人工智能
母公司: UCloud Technology Co., Ltd.
网站: ucloud.cn
UCloud又名优刻得（上交所：688158），是一个云计算服务平台，由季昕华、华琨、莫显峰三人共同创立，成立于2012年，主要为企业提供IaaS、PaaS服务。2014年，获得中国工信部IDC与ISP业务牌照。
UCloud总部位于上海，在香港、伦敦、圣保罗以及洛杉矶等地设有运营机构与数据中心。为用户提供公有云、混合云、私有云、专有云以及AI、大数据流通等服务。
2013年至2018年，UCloud经历了5轮融资，2018年6月，获得中国移动投资公司的E轮投资。
2018年3月，UCloud与内蒙古自治区乌兰察布市人民政府签署合作协议，7月，开始在乌兰察布建立数据中心。
2020年1月20日，UCloud在中国A股科创板正式上市，股票代码688158，成为中国公有云计算第一股。
市场份额

截至2018年上半年，UCloud在中国公有云IaaS市场占比达4.8%，位列第6位，排在阿里云、腾讯云、中国电信云、亚马逊云以及金山云之后。
2020年夏季奥林匹克运动会津巴布韦代表团

2020年夏季奥林匹克运动会津巴布韦代表团是津巴布韦所派出的，因2019冠状病毒病疫情而延期至2021年举办的第32届夏季奥林匹克运动会的代表团。这是该国第十一次以津巴布韦名义参加夏季奥运。
田径

条目：2020年夏季奥林匹克运动会田径比赛
津巴布韦有一名田径运动员获外卡邀请，得以参加奥运。
径赛运动员的预赛、1/4决赛和半决赛排名是该运动员所在小组的排名，而非总排名
Q = 直接晋级至下一轮
q = 径赛：因在所有未直接晋级选手中成绩靠前而获得剩下的晋级名额；田赛：未达到晋级标准成绩但总排名靠前
| 运动员 | 项目 | 预赛> 成绩 | 预赛> 排名 | 1/4决赛> 成绩 | 1/4决赛> 排名 | 半决赛> 成绩 | 半决赛> 排名 | 决赛> 成绩 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Ngonidzashe Makusha | 男子100米 | 10.32 | 1 Q | 10.43 | 7 | 未晉級 | 未晉級 | 未晉級 | 未晉級 |
高尔夫

条目：2020年夏季奥林匹克运动会高尔夫比赛
津巴布韦队在高尔夫项目上凭借奥运排名获得一个男子名额。
| 运动员 | 项目 | 第1轮> 分数 | 第2轮> 分数 | 第3轮> 分数 | 第4轮> 分数 | 总计> 分数 | 总计> 距标准杆 | 总计> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Scott Vincent | 男子 | 73 | 67 | 66 | 67 | 273 | -11 | =16 |
赛艇

条目：2020年夏季奥林匹克运动会赛艇比赛
津巴布韦队在突尼斯进行的2019年奥运赛艇非洲区资格赛上获得男子单人双桨项目的奥运席位。
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 复赛> 时间 | 复赛> 排名 | 1/4决赛> 时间 | 1/4决赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Peter Purcell-Gilpin | 男子單人雙槳 | 7:10.65 | 4 R | 7:35.16 | 1 QF | 7:37.97 | 6 SC/D | 7:01.72 | 4 FD | 7:03.85 | 20 |
注：FA=A組決賽（爭奪獎牌）；FB=B組決賽（非爭奪獎牌）；FC=C組決賽（非爭奪獎牌）；FD=D組決賽（非爭奪獎牌）；FE=E組決賽（非爭奪獎牌）；FF=F組決賽（非爭奪獎牌）；SA/B=A/B組準決賽；SC/D=C/D組準決賽；SE/F=E/F組準決賽；QF=半準決賽；R=複賽
游泳

条目：2020年夏季奥林匹克运动会游泳比赛
津巴布韦有两名游泳运动员获得奥运参赛资格。
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| Peter Wetzlar | 男子100米自由泳 | 50.31 NR | 42 | 未晉級 | 未晉級 | 未晉級 | 未晉級 |
| Donata Katai | 女子100米仰泳 | 1:02.73 | 34 | 未晉級 | 未晉級 | 未晉級 | 未晉級 |
参考资料

↑   (PDF). IOC. 2021-07-23  [2021-08-04]. （原始内容 (PDF)存档于2021-08-02）.
↑   (PDF). IOC. 2021-08-08  [2021-08-14]. （原始内容 (PDF)存档于2021-08-10）.
↑  . Chronicle. 2021-06-30  [2021-07-10]. （原始内容存档于2021-07-02）.
↑   (PDF). IGF. 2021-06-22  [2021-07-06]. （原始内容 (PDF)存档于2021-06-27）.
↑  . International Rowing Federation. 2019-10-16  [2019-10-19]. （原始内容存档于2020-10-06）.
↑  . The Herald. 2021-07-08  [2021-07-10]. （原始内容存档于2021-07-08）.
冯诺伊曼-博内斯-哥德尔集合论

冯·诺伊曼-博内斯-哥德尔集合论（英語：，）是種以类為直觀動機的一阶公理化集合论，它是配上选择公理的策梅洛-弗兰克尔集合论（英語：，）的保守扩展（裡可以證明的定理也都是的定理），而且僅需在一階邏輯基本的公理模式上添加有限数目的公理，但需添加與集合有關的公理模式。
首先由冯·诺伊曼在1920年代提出，從1937年开始由保罗·博内斯（英语：）作修改，在1940年由哥德尔进一步简化。
基本符號

在下，「属于關係」以一個雙元斷言符號  P(x,\,y) 來表示，  P(x,\,y) 通常簡記為  x\in y ，並被直觀理解成「x属于y」；類似地，  P(x,\,y) 的否定  \neg P(x,\,y)  通稱被簡記為  x\notin y ，並被直觀理解為「x不属于y」。
以下都把  \vdash _{NBG} 簡寫為普通的  \vdash 。
本條目定理的證明會頻繁引用一階邏輯的定理，定理的代號可以參見一阶逻辑#常用的推理性質一節。
基本符號 > 類與集合

「類」這個名詞在公理化集合论出現之前，通常被理解為「以集合為元素的集合。」或是集合（如等价类）。
但所談及的一切對象（變數和項）都是類。而所謂的集合，是屬於某個類的類，也就是說以下的合式公式（ {\mathcal {M}} 來自德语的"集合"「」）式
可直觀理解為「x是集合」，特別注意到，為了避免跟其他合式公式的變數產生混淆，  y 必須是展開  {\mathcal {M}}(x) 時首次出現的變數。反之合式公式
可稱為「  x 是真类（）」。
基本符號 > 子類

直觀上「x包含於y」意為「所有x的元素a都會屬於y」，以此為動機，有以下的符號簡寫
以上可稱為「x包含於y」或「x是y的子類（）」；在  {\mathcal {M}}(x) 和  {\mathcal {M}}(y) 成立的前提下（也就是「x和y都是集合」），可稱為「x是y的子集（）」。
基本符號 > 與集合相關的量詞簡寫

仿造量詞的簡寫，對於任意變數  x 與合式公式  {\mathcal {A}} ，可作如下的符號定義
也有書籍以小寫字母來表示被量化的集合變數，但考慮到一般的非邏輯數學書籍都將大小寫的差異挪作他用，為避免混淆本條目採用以上的上標表示法。
等號公理 > 看待等號的不同方式

直觀上，兩個集合相等意為「x的元素就是y的元素」，也就是朴素集合论的外延公理，換句話說，可用以下的嚴謹合式公式重寫為
但一階邏輯的等號可以視為單獨的斷言符號，也可以視為一條複合的合式公式。具體來說，視為一個新的斷言符號  Q(x,\,y) 並簡記為  x=y 的話，需在內額外添加以下的公理
(T^{\prime }) —  (x=y)\Leftrightarrow \forall a[\,(a\in x)\Leftrightarrow (a\in y)\,]
直觀上可理解為「類x的元素就是類y的元素，等價於類x等於類y」。
但視為一條合式公式，則僅需做以下的符號定義
不管是何種看待方法，習慣上都會把  \neg (x=y) 簡記成  (x\neq y) （直觀上的「不相等」）。
等號公理 > 等號的良置

為了確保  (x=y) 的確符合直觀上對等號的要求，還需添加以下的公理
(T) —  (x=y)\Rightarrow \forall z[\,(x\in z)\Leftrightarrow (y\in z)\,]
直觀上，這個公理確保「x等於y，則x屬於z等同於y屬於z」。
這樣，以下的元定理就確保了如此定義的等號是「成功的」。
元定理 — 是帶相等符號  (x=y) 的一阶逻辑理論
等號公理 > 真子類

在定義「相等」以後，可以把「相等的類」排除出子類的定義中，換句話說，有以下的符號定義
可直觀理解為「x是y的真子類（），定義為x包含於y且x不等於y」；在  {\mathcal {M}}(x) 和  {\mathcal {M}}(y) 成立的前提下（也就是「x和y都是集合」），可稱為「x是y的真子集（）」。