Blaze7451/Wiki-zh-20250601 huggingface dataset:
水中血战

水中血战（Кровь в бассейне，Melbourne-i vérfürdő，意为「墨尔本血浴」）是水球历史上最具争议的著名比赛，指的是1956年12月6日1956年夏季奥林匹克运动会上，匈牙利男子水球队与苏联男子水球队争夺水球决赛席位的一场比赛。比赛以匈牙利队4:0完胜苏联队告终，赛中多位球员大打出手，导致血流满面。
「水中血战」之名取自媒体拍摄匈牙利水球员扎多尔·埃尔温在血战之后右眼角流血之场景。比赛发生于匈牙利十月事件之后不久。

**背景**
1956年10月23日布达佩斯发生了一场20万人的大规模集会，目的是反对苏联扶持的匈牙利劳动人民党政府。在外界看来，此事可能会导致匈牙利脱离苏联的控制。11月1日开始，苏联装甲部队入侵匈牙利，并在11月4日至11月10日这段时间内，联合空军、炮兵等镇压了这场运动。 
起义当时，匈牙利水球队正在布达佩斯的一个山地训练营受训。他们能够听见枪声并看见硝烟升起。这支队伍即将参加墨尔本夏季奥运会，此时离奥运会开幕只剩下不到两个月的时间，他们迅速越过国境进入捷克斯洛伐克以免卷入事变。直到这些队员们最后到达澳大利亚的时候，他们才得以了解事变程度之剧，他们都非常焦急地等待亲友的消息。

**奥运会**

**匈牙利水球队**
奥运会开始的时候，这场运动已经被残酷地镇压了。这个时候，很多队员将奥运会看成了挽救国家尊严的机会。“我们觉得我们打球不仅仅是为了我们自己，更为了我们的整个国家。”扎多尔在赛后如是说。此时，国际社会也开始觉察到苏联对待匈牙利起义的异常残酷行为，匈牙利奥运队伍无论在哪里比赛都伴随着观众热烈的欢呼。著名的“水中血战”比赛开始的时候，一群狂热的观众——被逐出国外的匈牙利人——簇拥着前来观看，这群人几天前刚观看了匈牙利拳手保普·拉斯洛在拳击赛场上赢得他的第三块金牌。

**当天比赛**
从一开始，比赛就呈现白热化局面，大量拳打脚踢的身体接触不断出现。匈牙利明星队员扎多尔打入两球，引起了观众的热烈欢呼。以4:0领先进入最后时段，扎多尔因被Valentin Prokopov打中而被迫退出比赛。扎多尔的受伤突破了情绪早已激化的观众人群的最后一丝忍耐。为了避免骚乱爆发，比赛的最后一分钟被取消，警察进入比赛场地驱散观众人群。扎多尔受伤的照片被各大报纸发往全世界，从而引出了“水中血战”的名字，尽管报道“水球馆的水都被血染红”的说法有夸张的修辞成分。

**之后比赛**
匈牙利人继续在决赛中以2:1击败了南斯拉夫并且赢得了他们奥运会上的第四枚金牌。奥运会后，100人的匈牙利奥运代表团中，有一半人逃往西方国家。

**相关艺术创作**
2006年，为纪念匈牙利十月事件50周年，纪录片《自由的怒吼》（Freedom's Fury）发行，以告诉人们这场比赛的故事。该片由刘玉玲和昆廷·塔伦蒂诺制片，两人称之为“听到过的最好的故事”。马克·施皮茨在片中讲述了这个故事，扎多尔曾是他青少年时的教练。

**参考文献**
 http://sportsillustrated.cnn.com/events/1996/olympics/daily/july28/flashback.html date=20080917090224 -   自由欧洲电台报道 date=20060928045301 - http://www.smh.com.au/news/175-years/cold-war-violence-erupts-at-melbourne-olympics/2006/04/17/1145126047088.html date=20170817104737 -  纽约时报报道 date=20070311143403 

**外部连结**
  自由之怒火网站 date=20060902025507 

**参见**
 埃尔文·扎多尔- 匈牙利十月事件- 1956年夏季奥林匹克运动会- 1956年夏季奥林匹克运动会水球比赛- 1969年捷克斯洛伐克冰球骚乱
勒文海姆–斯科伦定理

在数理逻辑中，经典勒文海姆–斯科伦定理（Löwenheim–Skolem theorem）声称对于标识（signature）为  的任何可数一阶逻辑语言 L 和 L-结构 M，存在一个可数无限基本子结构 N  M。
这个定理的自然和有用的推论是所有一致的 L-理论都有可数的模型。
这里的标识由常量集合 、函数集合 、关系符号集合 、和表示函数和关系符号的元数的函数  组成。在这个上下文中 L-结构，由底层集合(经常指示为“M”)和 L 的函数和关系符号的释义组成。L 的常量在 M 中的释义就是 M 的成员。类似的，-元函数  被指派为 M 中的 -元函数  的图，而-元关系  的释义被指派为 M 中的 -元关系。语言 L 是可数的，如果在 L 中的常量、函数和关系符号是可数的。

**例子**
一个周知的不可数模型是所有实数的集合，带有次序关系 "<" 作为唯一的关系，和加法与乘法作为函数。有序域的公理是一阶句子；最小上界公理不是一阶的而是二阶的。这个定理蕴涵了实数域的某个可数无限的子域，因此不同于实数域，但满足了实数域所满足的所有一阶句子。(作为可数的有序域，它不能满足最小上界公理)。例如，特定多项式方程有解(在这个模型中)的断言是一阶句子，因此在断言了其存在的可数子模型中是真的，当且仅当它在实数域中是真的。
数学家考虑的多数数学结构，特别是多数范畴的多数成员，是这里定义意义上的模型。勒文海姆–斯科伦定理告诉我们如果它们是不可数的，它们不能被任何一阶句子的集合唯一性的选取出来。

**证明梗概**
对于在模型 M 中为真的如下形式的一阶句子

或

有一个Skolem 函数 f，就是说映射 x 到断言了其存在的 y 的函数，使得

在 M 中为真。因为有很多这样的 y 的值，必须启用选择公理来推出 Skolem 函数的存在。
这个模型的某些成员可以直接用一阶公式来定义，就是说，它们的存在被如下形式的句子所断言

并且因为只有可数多个一阶公式，只有可数多个成员可以用这种方式直接定义。
证明的想法是: 开始于这个模型的所有一阶可定义成员的集合，并接着在所有 Skolem 函数下闭合它。这个闭包必定最多是可数无限的。这个模型的子集是这个定理断言了其存在的子模型。

**更一般的 "勒文海姆–斯科伦定理"**
上述定理假定了有限或可数无限的语言。更一般的勒文海姆–斯科伦定理做其他有关基数的假定。类似于这个经典定理的某些定理，断言更小的子模型的存在(“向下”勒文海姆–斯科伦定理)；其他一些断言更大基数的模型的存在(“向上”勒文海姆–斯科伦定理)。

**勒文海姆-斯科伦定理在一阶逻辑中的定义和证明**
勒文海姆-斯科伦定理:  如果  是一个含有有限可数个数的命题组成的集合，并且集合  是可以满足的( SAT),那幺至少存在一个模型(或叫作指派，或叫作解释 (Interpretation)) 用符号记作 I,  ,且这个模型 I 指派解释也是可数的
证明: 
前提:在语言集合L中如果我们有一个可满足式的有限可数命题公式的集合 ，且,是中的命题公式
如果我们有一个集合，用字母记作 S ,并且  ，其中集合 是由命题公式转换成子句结构(Clause)所组成的集合，我们有一个定理(记作Th): 如果是可满足式的(Satisfaisable)公式，当且仅当Clause()也是可满足式的，通过这个定理，我们确保S是可满足的，并且也是可数的
如果我们有一个基于语言集合L的等价公理集合，记作(该集合是为了用于Skolemisation方法中,也就是在转化成Clause()过程中，去除有限量词的方法Skolemisation,化为Skolem范式)
那幺很显然  也是可满式的集合，那幺  同样是可满足的
由于语言集合L中的元素是可数的 所以 是也是有限可数的集合
如果我们有一个模型，记作 I 且 ,赫尔不兰特定理(Theoreme de Herbrand)告诉我们如果我们要构造一个模型M,并且，那幺模型M的模型解释指派域(记作)D是一个以I(t)为元素的指派域(其中t是在S中的所有的项)，那幺模型M是通过Congurence关系来解释指派等价性关系(Egalite)
由于我们说语言理合L是可数的，那幺指派解释域D也是可数的
那幺我们可以构造另一个模型M'，并且基于解释域 (我们通过等价关系来指派解释等价性)且,那幺M'必然也是可数的，那幺根据Th定理， ,那幺我们就可以说 
所以我们证明了勒文海姆-斯科伦定理

**参见**
 Skolem悖论- 模型论

**引用**
 Wilfrid Hodges (1997), "A Shorter Model Theory", Cambridge University Press, ISBN 0521587131- María Manzano (1999), "Model Theory", Oxford University Press, ISBN 0198538510- Rothmaler, Philipp (2000), "Introduction To Model Theory", CRC
刘昭文

刘昭文（Lau Chiu Man，catIdx=L刘），香港男配音员、前节目主持人、前演员。

**简历**
刘昭文曾用艺名刘行。刘昭文中学毕业后受胞姐刘红芳影响入读1983年第12期无线电视艺员训练班，毕业后没有签约无线电视，同年加入香港电台广播剧组担任播音员及参与电视节目主持及演出。1980年代后期与翟耀辉、罗嘉玲、蔡映玉、曾月娥并为香港电台戏剧组的新进播音员，演出粤语广播剧。曾于1983年至2009年间连续参与教育电视的演出和作旁白达26年（即教育电视仍使用4:3制作之时），与林友荣、温泉、凌礼文同为教育电视播出近半世纪以来最资深的参与者之一（前述三人于1971年至1997年同样参与演出达26年）。
1992年任职自由身配音员，但早于1980年代担任播音员时跟随配音领班卢杰学习配音以扩阔自己领域，1993年加入无线电视配音组才正式由播音员转型为配音员。1995年再次任职自由身配音员，多年来主要为VCD作品配音，对爱子动画最为敬重。2003年10月重返无线电视配音组一直工作至2020年10月，2012年兼任无线电视报幕员，第二度任职无线电视时期是日本演员田中要次、松尾谕、宫川一朗太、渋川清彦、野间口彻、户次重幸、台湾演员刘亮佐、英国演员纳文·安德鲁斯的常任配音员。2020年10月起因中港封关而长居深圳直至2022年回港再次任职自由身配音员。
刘昭文从事配音工作多年，最敬佩的配音员包括谭炳文、朱子聪、谢月美及黄健强，亦相当欣赏林保全及郭志权的配音功力。

**个人生活**
刘昭文的前妻是同为配音员的曾佩仪。其后于内地再婚，现任妻子于2014年诞下儿子。现时定居于深圳。

**演出作品（舞台剧）**
《歌声无泪》（2014）

**配音作品**
粗体表示者为作品中的主角或要角
*首播年份以刘昭文配演的角色首次出场的日子为依归
*已知于片中有演唱的角色在角色名后会加上♪符号

**电视动画／OVA**

**剧场版／动画电影**

**特摄片**

**日剧**

**韩剧**

**中／港剧**

**台剧**

**欧美剧**

**泰剧**

**电影**

**综艺及资讯节目／纪录片**

**广播剧**

**游戏**

**手机应用程式**

**广告／宣传片**
只记录商业广告和政府宣传片，电影、电视节目的广告和宣传片不记录在内。
*由于首播日期较其他章节难查明，除相关机构的作品相连排序外，可自由排序。

**参与节目**

**传媒访问**

**外部连结**
7291145611
虞希舜

虞希舜，出生于台湾台北，为知名电脑象棋「将族」的程式设计师。现为台湾知名电脑游戏软体公司光谱资讯的董事长兼总经理。

**简历**
虞希舜从事AI人工智慧,韧体,BIOS及益智游戏的设计工作。
1988年，他参加宏碁电脑与象棋协会举办的第一届电子计算机象棋大赛，以花了四个月时间开发的《象棋大师》程式获得冠军并击败当时的象棋神童蔡澄宇。1989年，以前作为基础改写的《特级大师》再度获得第二届比赛的冠军。同年8月，参加英国伦敦第一届计算机奥林匹克大赛，在象棋组获得金牌。
1991年，他成立光谱资讯，并且以《特级大师》为基础改良的《将族》电脑象棋游戏公开发行。

**参考资料暨外部连结**
 光谱资讯date=20100812005908 - 《棋侣》杂志电子报 date=20200821093914 - 东软教育在线- myrice.com
六月十三

六月十三，农历六月第十三天。

**大事记**

**出生**
西魏文帝大统七年，隋文帝杨坚。

**逝世**
清德宗光绪二十六年，聂士成。
*东晋成帝咸和九年，陶侃。

**节假日和习俗**
鲁班先师诞

**其他内容**

**参看**
日历
*六月十一 - 六月十二 - 六月十三 - 六月十四 - 六月十五 
*五月十三 - 六月十三 - 七月十三
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月13日
王崴

王崴（catIdx=W），本名王晓春，网络作家、影评人。毕业于南开大学，曾就职于外交部、国家民委和中央电视台电影频道。各种作品超过100万字。

**外部链接**
 纪年王崴 date=20060803141316 - 爱王崴,爱世界 date=20061105045538
华伦提努

瓦伦廷（153年，Valentinus）是公元二世纪时诺斯底教派领导者之一，早年曾参选罗马的主教失败，受当时罗马基督教正统派的排挤。瓦伦廷曾在罗马创办学校。
网切

网切（あみきり）是日本流传的妖怪之一。也叫做网剪。

**概述**
根据鸟山石燕的「画图百鬼夜行」(1776)的记载，网切有着鸟喙一般尖尖的嘴，像螃蟹一样具备强而有力的大螯，像虾子一样弓着背。在蚊虫肆虐的夏季里，网切会潜入卧房用尖锐的大螯将防蚊的蚊帐剪破。

**参看**
日本妖怪列表- 妖怪炼成阵
category:山形县的妖怪
张荣坤

张荣坤catIdx=Z张，一说1968年出生，中国企业家，江苏苏州人。

**生平**
张小学就读于丁家巷小学，初中就读于苏州市第五中学，高中就读于苏州市第二十一中学。张声称其毕业于华东师范大学金融专业，获硕士学位，但未获证实。（）相反，在21世纪经济报道的调查中，张“没有考上大学(又一说是青岛某高校肄业)，他在1993年前后，到了苏州吴县太湖度假区工作。” date=20190822140020 
2002年，张荣坤突然崛起于上海商界，以超过32亿元的价格购得沪杭高速公路的30年经营权，其后他又购入多条高速公路的经营权，成为著名的公路大王。2005年，他以49亿元资产名列《福布斯》中国富豪榜第16位。
2006年，上海社保基金案发，张被揭发其所有资金均是违规来自上海社保基金，引发上海政坛地震。上海社保局长祝均一、宝山区区长秦裕和上海市委书记陈良宇相继落马。
2008，上海社保案核心人物、商人张荣坤案在吉林被判刑十九年，没收的资产和处理的罚金共多达十六亿元（人民币，下同）。张荣坤被控行贿及操纵证券市场等五宗罪，行贿高官达两千九百多万元，包括行贿已故政治局常委黄菊的秘书王维工九百三十三万元。2008年4月7日,一审判处19年有期徒刑。
儿部

儿部为汉字索引的部首之一，计二画，是康熙字典214个部首中的第10个（在二画的中为第4个）。儿部构字时只出现在字下方。

**部首单字解释**
# rén/ㄖㄣˊ，人字古文。见《说文》。
# jiè/ㄐㄧㄝˋ，仁人。见《集韵》。

**字形**

**部首字元及变形**
⼉（康熙部首）：KANGXI RADICAL LEGS (U+2F09)
位于文字区：
*-{儿}-：CJK UNIFIED IDEOGRAPH-513F

**名称**
 汉语：-{儿}-部（拼音：rénbù　注音：ㄖㄣˊ ㄅㄨˋ）、儿字底- 日语：儿部（じんぶ/jin-bu）、人绕（にんにょう/ninnyou）、人足（ひとあし/hitoashi）- 朝鲜语：어진사람인발부
赛格达声

深圳市赛格达声股份有限公司，证券简称：G深达声、证券代码：000007，曾用简称：深达声Ａ、ST达声。公司总股本1.44亿股（2006年2季度），总部位于中国深圳市福田区华强北路现代之窗大厦25楼，现任董事长为李成碧，总经理为蔡国麟。

**历史沿革**
公司前身为深圳市达声电子有限公司，1987年11月始进行股份制改组，1992年4月13日在深圳证券交易所上市交易，上市首日开盘价22元。2001年4月19日，因追溯调整导致最近两年连续亏损，最近一个会计年度股东权益低于注册资本，公司股票曾经被ST处理。

**股权分置改革**
2006年8月14日实施股权分置改革，公司用资本公积金向全体流通股股东每10股转增5.2股。
入部

入部为汉字索引的部首之一，计二画，是康熙字典214个部首中的第11个（二划的则为第5个）。入部构字时通常位于上方或中间。一字带「入」且无其他部首时归为入部。
中国大陆出版的适用于汉语简化字的《汉字部首表》中“入”被列为人部的附形部首。一些原本归入部的汉字在简化字中「入」部件改作「人」，例如「全（全）」。
日本的新字体中也有不少「入」部件改作「人」，因此现代日语中归入部的汉字较少。

**部首单字解释**
# 读rù/ㄖㄨˋ时，意思为①从外面进到里面。②到达。③纳。④沉没。⑤所得。⑥适合。⑦当、获得。⑧四声之一。参入声。
# 读rǔ/ㄖㄨˇ时，意思为①塞放。②暗中把东西给人。
# 读rì/ㄖˋ时，即肏、触。

**字形**

**部首字元及变形**
⼊：KANGXI RADICAL ENTER (U+2F0A)
文字区：
*入：CJK UNIFIED IDEOGRAPH-5165

**字体的具体差别**
「入」在不同的字体中设计有所不同。传统印刷体（例如《康熙字典》字体）的「入」中，捺有明显的转折，而手写体的捺则较为平顺。现时采用新字形的中文简化字普遍改为类似手写体的印刷字形，而港澳台繁/正体字、日本、韩国的印刷体普遍沿用传统印刷体的形状。
由于并非所有字体库都正确处理后者字型，所以看见的字型可能并不完全与字型描述的相同。

**名称**
 汉语：入部（拼音：rùbù，注音：ㄖㄨˋ ㄅㄨˋ）、入字头- 日语：入部（にゅうぶ）、いる、入头（いりがしら）、入屋根（いりやね）- 朝鲜语：들입부- 越南语：Bộ nhập 部入
张轨

张轨（catIdx=Z），字士彦，安定郡乌氏县（今宁夏固原市东南彭阳县）人。西汉常山王张耳的十七世孙。西晋时任凉州刺史，是前凉政权奠定者，张寔、张茂皆为其子。314年去世，谥武公。至其曾孙张祚时，追谥为武王，庙号太祖。

**生平**

**早年事迹**
张轨其家世孝廉，以儒学著称。张轨年少时已聪明好学，甚有名望，曾隐居于宜阳郡的女-{几}-山上。西晋建立后入朝任官，因与中书监张华议论经籍意义和政事而深得对方的器重。张轨历任太子舍人、尚书郎、太子洗马、太子中庶子、散骑常侍，征西将军司马。

**经营凉州**
晋惠帝元康元年（291年），「八王之乱」开始，天下大乱，张轨于是想占据河西之地（今甘肃西部、新疆东部一带），于是就要求调任凉州。在朝中官员的支持之下，张轨于永宁元年（301年）被任命为护羌校尉、凉州刺史。张轨到任后，使立刻领兵击败当时在凉州叛乱的鲜卑族，又消灭横行当地的盗贼，斩首万多人，从此威震西土，亦安定了凉州。张轨任用有才干的凉州大姓如宋配、阴充、泛瑗和阴澹为股肱谋主，共同治理凉州。他又劝农桑，立学校，又设与州别驾同等的崇文祭酒、春秋行乡射之礼，在凉州大行教化。
永兴二年（305年），鲜卑若罗拔能侵袭凉州，张轨派司马宋配讨伐，最终斩杀若罗拔能，并俘据十多万人，因而声名大振。晋惠帝亦因此加张轨安西将军，封安乐乡侯，邑千户。同时又大修凉州治所姑臧（今甘肃武威市）。此时，东羌校尉韩稚杀害秦州刺史张辅，张轨少府司马杨胤主张讨伐韩稚，亦劝张轨效法齐桓公主持地方，对韩稚擅杀刺史的行为予以严惩。张轨于是命中督护领二万兵讨伐，并先写信给韩稚劝降。韩稚拉到书信后就向张轨投降。张轨报告南阳王司马模后，司马模十分高兴，并将皇帝赐的剑送给张轨，并将陇西地区交给张轨管理。

**尽忠晋室**
张轨始终对西晋表示忠诚，以维系民心。如太安三年（304年）河间王司马颙和成都王司马颖到洛阳讨伐掌权的司马乂，张轨亦曾派三千兵支援朝廷。永嘉二年（308年），刘渊部将王弥进攻洛阳，张轨派北宫纯、张纂、马鲂和阴濬等领兵入卫洛阳，北宫纯及后派百多名勇士突击王弥军，协助朝廷击退王弥。不久北宫纯在河东击败刘渊儿子刘聪，晋怀帝于是诏封张轨为西平郡公，但张轨辞让。西晋自八王之乱起，天下大乱，各州都不再向西晋朝廷赋贡，亦惟有张轨贡献不绝。

**险失凉州**
永嘉二年（308年），张轨因患风搐而不能说话，命儿子张茂代管凉州。张越是凉州大族，听说有预言说张氏会兴盛凉州，自以为自己就是预言中的张氏，于是不惜放下梁州刺史的职务告病回凉州，更与兄长酒泉太守张镇等人合谋要除去张轨。张越兄弟意图以秦州刺史贾龛取代张轨，于是派密使到洛阳请尚书侍郎曹祛任西平太守，作为援助。张轨别驾曲晁亦意图借机弄权，派使者到长安告诉司马模，说张轨已病得不再能继续行使刺史职权，要求以贾龛代替张轨。贾龛原打算应命，但被兄长劝止。
张镇和曹祛知道贾龛拒绝应命后，再上表请求新派刺史，但未上呈就已率先以军司杜耽代领州事，让杜耽支持并表张越为新任刺史。张轨见此，打算退避，想要回到曾经隐居的宜阳，但长史王融和参军孟畅接到张镇等人以杜耽代理凉州的檄命后并不服气，决意支持张轨，于是领兵戒严，又命刚从洛阳回来的张轨长子张寔为中督护，领兵讨伐张镇。同时又派张镇甥子令狐亚游说张镇。最终张镇听从，哭着说受了误导，将事情都推给功曹鲁连，更将鲁连杀死向张寔请罪。张寔及后攻打曹祛，曹祛逃走。在王融举兵同时，武威太守张琠亦派儿子张坦到洛阳上表支持张轨；而治中杨澹亦到长安向司马模控诉张轨被诬，令司马模上表停止选调新任刺史。张坦到洛阳后，晋怀帝慰劳张轨，又下令诛杀曹祛。张轨知道后十分高兴，又命张寔领兵三万讨伐曹祛，最终将曹祛击败并杀死。
张轨及后命治中张阆送五千义兵和大量物资到洛阳。永嘉五年（311年）光禄大夫傅祗和太常挚虞及后写信给张轨说洛阳物资缺乏，张轨又立刻派参军杜励进献五百匹马和毡布三万匹。晋怀帝于是进拜张轨为镇西将军、都督陇右诸军事，封霸城侯，并进车骑将军、开府仪同三司。但使者还未到，王弥就再次进逼洛阳，张轨派将军张斐、北宫纯和郭敷等率五千名精锐骑兵保卫洛阳，但洛阳最终都被汉国大将刘曜攻克。

**奠基前凉**
永嘉之乱后，洛阳和长安两大重镇都先后被汉国军队攻陷，中原和关中地区的很多百姓流入凉州避难，张轨在姑臧西北置武兴郡；又分西平郡（今青海西宁市）界置晋兴郡以收容流民。同时，张轨亦继续支持西晋，晋怀帝被掳到平阳后，张轨曾打算倾一州之力进攻平阳。不久秦王司马邺入关，张轨又派兵支持。次年司马邺被拥立为皇太子，张轨获拜骠骑大将军、仪同三司，张轨辞让。同时张轨又协助消灭在附近地区叛乱的势力，如秦州刺史裴苞、西平郡的曲恪、鞠儒等。司马邺及后再度任命，但张轨亦再次辞让。
永嘉七年（313年），晋怀帝被杀，司马邺继位为晋愍帝，并升张轨为司空，张轨再辞让。同时又听从索辅的建议，复铸五铢钱，恢复境内的钱币流通，大大便利了当地人的生活，不必再以布匹作货币。同时，刘曜进逼长安，张轨又派参军曲陶领三千兵入卫长安。
建兴二年（314年），晋愍帝任命张轨为侍中、太尉、凉州牧，封西平公，但张轨仍然辞让。五月己丑日，张轨病死，享年六十岁，谥曰武公。张轨的亲信部下及后拥立张轨长子张寔继任凉州刺史之职。

**陵墓**
张轨墓在今凉州区境内，史称“建陵”，前凉国主的陵墓位置，学术界有三种推测：陵墓上方筑台，在雷台之下；或依照汉制，重臣死后多陪葬君主墓旁，根据已出土的“梁舒墓”的方位，可能在今武威城西北太平滩一带；或因山为陵，可能在武威城南祁连山山坡地带，学术界倾向于雷台为前凉王陵。

**家族**

**祖父**
张烈，曹魏外黄令。

**父母**
张温，张轨父，曹魏太官令。
*陇西辛氏

**兄弟**
张肃，晋建威将军、西海太守。316年，刘曜进攻长安时要求领兵抵抗，但遭侄儿张寔以年老为由拒绝，最后长安失守，愍帝出降被俘，张肃悲愤而死。

**子女**
张寔，前凉明王。张轨长子，嗣子，继父亲任凉州牧。后被阎沙所弑。
*张茂，前凉成王。张寔弟弟，张寔死时儿子张骏年纪尚幼，由张茂接管前凉，任凉州牧。
*张素，临羌都尉，平西将军，西海、晋昌、金城、武威四郡太守（张猛龙七世祖，见《张猛龙碑》）。
*张氏，嫁西晋太常丞唐熙

**延伸阅读**


**参考资料**
《晋书》（张轨传、惠帝纪、怀帝纪、愍帝纪）
*《十六国春秋》（卷07）
*《资治通鉴》（卷八十六至八十九）
category:前凉君主
纪文远

纪文远，本籍陕西泾阳，吏员出身，是中国清朝官员，于1684年上任新港巡检，后于1688年升任河南府照磨；该官职隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
常文谟

常文谟，本籍山东馆陶，吏员出身，是中国清朝官员，于1689年上任新港巡检，后于1692年升任直隶东光县主簿；该官职隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
孙礼棠

孙礼棠，本籍江南滁州，吏员出身，是中国清朝官员，于1693年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
冯志超

冯志超（），本籍江南长洲，吏员出身，亦曾任内阁供事，是中国清朝官员，于1697年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
蒋复新

蒋复新，本籍江西赣州，吏员出身，宦官世家，是中国清朝官员，于1700年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
张知

张知，本籍江南休宁，监生出身，是中国清朝官员，于1709年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
李唐宗

李唐宗，本籍山西太平，吏员出身，是中国清朝官员，于1713年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
查克成

查克成（catIdx=C查），本籍顺天府大兴县，是中国清朝官员。
吏员出身。于1714年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
耶律普速完

耶律普速完（catIdx=Y）是辽仁宗耶律夷列的妹妹，为西辽第四任统治者。仁宗在1163年死后，其子尚年幼，遗诏由其妹耶律普速完权理国事，临朝称制，并改元崇福，号承天太后，菊儿汗。
耶律普速完在位期间，契丹帝国开始新一轮军事扩张。崇福三年冬（1165年），西辽军队同西喀喇汗国攻占了呼啰珊地区乌古斯人的八剌黑和安德胡伊。
崇福九年（1172年），西辽军队向西进攻停止纳贡的花剌子模王朝沙阿伊尔•阿尔斯朗，大破花剌子模军并生擒统帅，阿尔斯朗病死。花剌子模由此陷入阿尔斯朗的儿子对统治权的争斗。承诺重启对西辽的纳贡后，在耶律普速完丈夫萧朵鲁不军队的支持下，阿尔斯朗长子塔乞失战胜弟弟苏丹•沙赫成为花剌子模沙阿。1174年，得知花剌子模再次拒绝纳贡并斩杀西辽使团（塔乞失扬言杀尽国内的西辽人）后，耶律普速完扶植苏丹•沙赫占领花剌子模东半部。
她与丈夫之弟萧朴古只私通，把丈夫改封为东平王，后来又杀了他。崇福十四年（1177年），萧朵鲁不之父萧斡-{里}-剌以兵围其宫，射杀普速完及朴古-{只沙里}-。仁宗子耶律直鲁古即位，是为西辽末帝。
中国历朝的临朝称制，皆为皇太后、皇后在君主因故无法理朝时的一种权宜之计（也有例外，如武则天曾与唐高宗并称二圣并临朝听政），但耶律普速完是中国历史上唯一一个以先朝公主与当朝君主姑母的身分临朝称制者，可为前无古人、后无来者。耶律普速完称制时，又更改年号，在实质意义上已经得到等同君王的待遇和地位。
张鼎 (吴县)

张鼎（catIdx=），江南吴县人，监生出身，清朝政治人物。

**生平**
1726年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
涂逢年

涂逢年（），本籍直隶平谷，监生出身，是中国清朝官员，于1730年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
张世荣 (清朝)

张世荣（），本籍顺天大兴，监生出身，是中国清朝官员，于1733年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
冯五美

冯五美（），本籍浙江山阴，监生出身，是中国清朝官员，于1740年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。

**参考文献**
余文仪编，《续修台湾府志》。
耶律直鲁古

耶律直鲁古（catIdx=Y），是西辽皇帝耶律夷列的次子，史称辽末主。

**生平**

**国势日衰**
直鲁古摄政的姑姑承天太后普速完在崇福十四年（1177年）被杀，耶律直鲁古即位，改元天喜（辽史记「天禧」，根据出土钱币或为「天喜」）。政变时他也杀死了他的兄弟，根据志费尼的说法，“他是为了夺得皇位而牺牲的”。
他在位期间西辽逐渐衰败，为了帮助属国花剌子模对抗古尔王朝，西辽二次派兵援助花剌子模，然而西辽军先胜后败，西辽损失惨重。在古尔王朝覆灭后，以花剌子模为首的众多属国也脱离了契丹人的控制；1198年，花剌子模塔乞失攻占原西喀喇汗国首都布哈拉。1206年，花剌子模的摩诃末沙利用河中地区百姓起义的时机，联合西喀喇汗反辽，但被西辽打败。西喀喇汗奥斯曼向耶律直鲁古的女儿求婚，但遭到拒绝，于是再转向花剌子模。1209年，东部的附庸国高昌回鹘杀死西辽的少监投靠成吉思汗。1210年，花剌子模再次出兵攻打西辽，并在怛逻斯附近打败西辽军队，并俘虏了其主帅塔阳古。从此摩诃末沙威名大震。1211年，葛逻禄首领阿尔斯兰汗投奔成吉思汗。而一向恭顺的附庸国东喀喇汗也起兵造反，西辽不得不出兵镇压，俘虏了东喀喇汗的首领穆罕默德，并囚禁于虎思斡耳朵，才稳定住局势。

**被逼退位**
乃蛮王子屈出律于1208年流亡至西辽，辽末主耶律直鲁古不仅信任他还将女儿嫁给他。天喜三十四年（1211年），屈出律以伏兵八千擒直鲁古，强迫辽末主直鲁古让位，尊他为太上皇，皇后为皇太后。1213年，辽末主直鲁古去世。1218年，蒙古攻西辽，杀屈出律，西辽亡。

**史籍记述**
《辽史》（卷三十·本纪第三十）：「仁宗次子直鲁古即位，改元天禧，在位三十四年。时秋出猎，乃蛮王屈出律以伏兵八千擒之，而据其位。遂袭辽衣冠，尊直鲁古为太上皇，皇后为皇太后，朝夕问起居，以侍终焉。直鲁古死，辽绝。」
*《世界征服者史·哈剌契丹的诸汗的兴起和他们的衰亡》（第2卷第10章）：「所有的人都讨厌菊儿汗的长期统治，憎恨他的税吏和地方官……他们一反从前的做法，开始作威作福，无法无天。」
天城级巡洋战舰

天城级战列巡洋舰（天城型巡洋戦舰）是大日本帝国海军“八八舰队”计划的主力舰之一。

**概述**
天城级战斗巡洋舰是在长门级战列舰的舰体基础上加装一座双联装主炮，炮塔布置与加贺级战列舰相似，可以说是加贺级的轻装甲快速型，减薄装甲，舷侧装甲带采用倾斜式设计，取消了以往日本战舰水平装甲延伸到舷侧水线以下的“穹甲结构”。副炮全部都在同一层甲板。同型舰原计划开工建造四艘：天城号、赤城号、爱宕号、高雄号。
根据《华盛顿海军条约》规定天城级战列巡洋舰停工，天城号和赤城号按照条约的规定（可以将两艘未完工的主力舰舰体改建为航空母舰）预备改建成航空母舰，爱宕号、高雄号则中止建造，解体拆毁。爱宕、高雄两舰名为后来的高雄型重巡洋舰使用。
一号舰天城号舰体在横须贺工厂改装过程中于1923年的日本关东大地震中被破坏，龙骨严重变形扭曲只得报废解体，改装工程由加贺号接替。
二号舰赤城号改建为赤城号航空母舰。

**同型舰**

**性能数据**
 排水量：标准排水量41,217吨，满载排水量47,000吨- 尺寸：全长251.8米，全宽30.8米，吃水9.5米- 动力：重油专烧锅炉11个，油煤混烧锅炉8个，主机功率131,200shp；航速：30节；续航力：8000海里/14节- 武备：10门双联装410毫米/45倍口径主炮；16门14厘米/50倍口径副炮；4门12厘米/45倍口径高平两用砲；61厘米口径鱼雷发射管8门- 装甲：舷侧水线带127-254毫米，炮塔152-229毫米，司令塔78-350毫米，甲板89-95毫米

**相关条目**
 大日本帝国海军舰艇列表

**注释**
A
分类:战斗巡洋舰船级
尖叶长舌蝠属

尖叶长舌蝠属（学名：Lonchophylla），哺乳纲、翼手目、叶口蝠科的一属，而与尖叶长舌蝠属（螫长舌蝠）同科的动物尚有铲齿蝠属（铲齿蝠）、窄齿长舌蝠属（窄齿长舌蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
铲齿蝠属

铲齿蝠属（学名：Platalina），哺乳纲、翼手目、叶口蝠科的一属，而与铲齿蝠属（铲齿蝠）同科的动物尚有狭叶蝠属（狭叶蝠）、尖叶长舌蝠属（螫长舌蝠）、窄齿长舌蝠属（窄齿长舌蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
狭叶蝠属

狭叶蝠属（学名：Brachyphylla），哺乳纲、翼手目、叶口蝠科的一属，而与狭叶蝠属（狭叶蝠）同科的动物尚有黄花蝠属（黄花蝠）、铲齿蝠属（铲齿蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
黄花蝠属

黄花蝠属（学名：Erophylla），哺乳纲、翼手目、叶口蝠科的一属，而与黄花蝠属（黄花蝠）同科的动物尚有花蝠属（古巴花蝠）、狭叶蝠属（狭叶蝠）等之数种哺乳动物。

**下属物种**
 黄花蝠 (褐叶蝠) Erophylla sezekorni (Gundlach, 1861)- Erophylla bombifrons (Miller, 1899)
花蝠属

花蝠属（学名：Phyllonycteris），哺乳纲、翼手目、叶口蝠科的一属，而与花蝠属（古巴花蝠）同科的动物尚有长鼻蝠属（南美长鼻蝠）、黄花蝠属（黄花蝠）等之数种哺乳动物。

**下属物种**
花蝠亚属（Phyllonycteris）- Phyllonycteris (Phyllonycteris) major Anthony, 1917- 古巴花蝠 Phyllonycteris (Phyllonycteris) poeyi Gundlach, 1861
亚属: Reithronycteris- 牙买加花蝠  Phyllonycteris (Reithronycteris) aphylla (Miller, 1898)
长鼻蝠属

长鼻蝠属（南美长鼻蝠）（学名：Anoura），哺乳纲、翼手目、叶口蝠科的一属，而与长鼻蝠属（南美长鼻蝠）同科的动物尚有长吻蝠属（小长吻蝠）、墨西哥长吻蝠属（墨西哥长吻蝠）、长舌叶口蝠亚科）、花蝠属（古巴花蝠）等之数种哺乳动物。

**下属物种**
 南美长鼻蝠 (吉氏无尾长舌蝠) - Anoura caudifera (Tailed tailless bat)- 巴拿马长鼻蝠 (刀形无尾长舌蝠) - Anoura cultrata (Handley's tailless bat)- 无尾长鼻蝠 (无尾长舌蝠) - Anoura geoffroyi (Geoffroy's tailless bat)- 委内瑞拉长鼻蝠 - Anoura latidens (Broad-toothed tailless bat)
长吻蝠属

长吻蝠属（学名：Choeroniscus），哺乳纲、翼手目、叶口蝠科的一属，而与长吻蝠属（小长吻蝠）同科的动物尚有墨西哥长吻蝠属（墨西哥长吻蝠）、长舌叶鼻蝠属（长吻长舌叶鼻蝠）、长鼻蝠属（南美长鼻蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
墨西哥长吻蝠属

墨西哥长吻蝠属（学名：Choeronycteris），哺乳纲、翼手目、叶口蝠科的一属，而与墨西哥长吻蝠属（墨西哥长吻蝠）同科的动物尚有长舌叶鼻蝠属（长吻长舌叶鼻蝠）、长吻长舌蝠属（长吻长舌蝠）、长吻蝠属（小长吻蝠）、长鼻蝠属（南美长鼻蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
长舌蝠属

长舌蝠属（学名：Glossophaga），哺乳纲翼手目叶口蝠科的一属哺乳动物。

**下属物种**
本属包括以下物种：
长吻长舌蝠属

长吻长舌蝠属（学名：Hylonycteris），哺乳纲、翼手目、叶口蝠科的一属，而与长吻长舌蝠属（长吻长舌蝠）同科的动物尚有索热尔长舌蝠属（白长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）、长舌叶鼻蝠属（长吻长舌叶鼻蝠）、墨西哥长吻蝠属（墨西哥长吻蝠）等之数种哺乳动物。

**下属物种**
 长吻长舌蝠 (林栖长舌蝠) - Hylonycteris underwoodi Thomas, 1903
索热尔长舌蝠属

索热尔长舌蝠属（白长舌蝠）（学名：Leptonycteris），为哺乳纲、翼手目、叶口蝠科的一属哺乳动物。

**下属物种**
 库腊索长舌蝠 (库岛细长鼻蝠) Leptonycteris curasoae Miller, 1900- 白长舌蝠 (骚氏细长鼻蝠) Leptonycteris nivalis (Saussure, 1860)- Leptonycteris yerbabuenae Martínez & Villa-R., 1940
长齿长舌蝠属

长齿长舌蝠属（暗色长齿长舌蝠）（学名：Lichonycteris），为哺乳纲、翼手目、叶口蝠科的一属哺乳动物。

**下属物种**
本属包括以下物种：
安德列斯长舌蝠属

安德列斯长舌蝠属（学名：Monophyllus），哺乳纲、翼手目、叶口蝠科的一属，而与安德列斯长舌蝠属（小安德列斯长舌蝠）同科的动物尚有蕉蝠属（蕉蝠）、鼓颏长舌蝠属（鼓颏长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）、索热尔长舌蝠属（白长舌蝠）等之数种哺乳动物。

**下属物种**
 小安德列斯长舌蝠 (巴岛长舌蝠) Monophyllus plethodon Miller, 1900- 牙买加长舌蝠 Monophyllus redmani Leach, 1821
蕉蝠属

蕉蝠属（学名：Musonycteris），哺乳纲、翼手目、叶口蝠科的一属，而与蕉蝠属（蕉蝠）同科的动物尚有鼓颏长舌蝠属（鼓颏长舌蝠）、安德列斯长舌蝠属（小安德列斯长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）等之数种哺乳动物。
蕉蝠最明显的特征是拥有极长的鼻子。它们还有很长的舌头，可伸长至体长的三分之二。有时它们也会吃昆虫，并把昆虫与花粉一起食用。在吸食花蜜时，它们的脸部和颈部的毛发会沾上一些花粉，而花粉就会传到它们下一个取食的植物，便能充当植物之间的授粉者。它们会进行短暂的季节性迁移，以寻找有开花的植物。

**下属物种**
 蕉蝠 (芭蕉长舌蝠) - Musonycteris harrisoni Schaldach & McLaughlin, 1960
基本子结构

在模型论，给定在同一个语言  中的两个结构  和 ，我们称  是  的基本子结构（elementary substructure）有时表示为 如果
1.  是  的子结构，且
2. 对于所有有限元组 ，对于所有语言  的公式 ，我们有  当且仅当 。
我们称  是  的基本扩展当且仅当  是  的基本子结构。

**等价条件**
有时对第二个条件使用一个等价的陈述。我们可以通过对所有  增加一个常量符号  来扩展  为一个新语言 。那幺  和  是解释每个  为  的  的结构。
设  和  分别是在  和  中为真的 -句子的集合(称为它们的“基本图”)。那幺上述条件 (2) 等价于陈述
.
塔斯基-沃特测试是给定一对 ，确定  是否是  的基本子结构的非常有用的必要和充分条件。
叶吻蝠属

叶吻蝠属（学名：Rhinophylla），为哺乳纲翼手目叶口蝠科的一属哺乳动物。

**下属物种**
 真叶吻蝠 (阿列辛侏叶鼻蝠) - Rhinophylla alethina (Hairy little fruit bat)- 费氏叶吻蝠 (费恩侏叶鼻蝠) - Rhinophylla fischerae (Fischer's little fruit bat)- 小叶吻蝠 (侏叶鼻蝠) - Rhinophylla pumilio (Dwarf little fruit bat)
掠果蝠属

掠果蝠属（学名：Ametrida），哺乳纲、翼手目、叶口蝠科的一属，而与掠果蝠属（掠果蝠）同科的动物尚有美洲林蝠属（美洲林蝠）、食果蝠属（食果蝠）、叶吻蝠属（真叶吻蝠）等之数种哺乳动物。

**下属物种**
 掠果蝠 (刈割蝠) - Ametrida centurio Gray, 1847
美洲林蝠属

美洲林蝠属（美洲林蝠）（学名：Ardops），哺乳纲、翼手目、叶口蝠科的一属，而与美洲林蝠属（美洲林蝠）同科的动物尚有食果蝠属（食果蝠）、美洲果蝠属（灰美洲果蝠）、掠果蝠属（掠果蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
食果蝠属

食果蝠属（学名：Ariteus），哺乳纲、翼手目、叶口蝠科的一属，而与食果蝠属（食果蝠）同科的动物尚有美洲果蝠属（灰美洲果蝠）、襞面蝠属（襞面蝠）、美洲林蝠属（美洲林蝠）、掠果蝠属（掠果蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
美洲果蝠属

美洲果蝠属（学名：Artibeus），哺乳纲、翼手目、叶口蝠科的一属，而与美洲果蝠属（灰美洲果蝠）同科的动物尚有襞面蝠属（襞面蝠）、大眼蝠属（多毛大眼蝠）、食果蝠属（食果蝠）、美洲林蝠属（美洲林蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
襞面蝠属

襞面蝠属（学名：Centurio），哺乳纲、翼手目、叶口蝠科的一属，而与襞面蝠属（襞面蝠）同科的动物尚有大眼蝠属（多毛大眼蝠）、白蝠属（白蝠）、美洲果蝠属（灰美洲果蝠）、食果蝠属（食果蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
大眼蝠属

大眼蝠属（学名：Chiroderma），哺乳纲、翼手目、叶口蝠科的一属，而与大眼蝠属（多毛大眼蝠）同科的动物尚有白蝠属（白蝠）、间叶蝠属（间叶蝠）、襞面蝠属（襞面蝠）、美洲果蝠属（灰美洲果蝠）等之数种哺乳动物。

**下属物种**
本科包括以下属：
白蝠属

白蝠属（学名：Ectophylla），哺乳纲、翼手目、叶口蝠科的一属，而与白蝠属（白蝠）同科的动物尚有间叶蝠属（间叶蝠）、食花蝠属（食花蝠）、大眼蝠属（多毛大眼蝠）、襞面蝠属（襞面蝠）等之数种哺乳动物。

**下属分类**
本科包括以下属：
间叶蝠属

间叶蝠属（学名：Mesophylla），哺乳纲、翼手目、叶口蝠科的一属，而与间叶蝠属（间叶蝠）同科的动物尚有食花蝠属（食花蝠）、白线蝠属（白线蝠）、白蝠属（白蝠）、大眼蝠属（多毛大眼蝠）等之数种哺乳动物。

**下属分类**
本科包括以下属：
食花蝠属

食花蝠属（学名：Phyllops），哺乳纲、翼手目、叶口蝠科的一属，而与食花蝠属（食花蝠）同科的动物尚有白线蝠属（白线蝠）、尾翼果蝠属（尾翼果蝠）、间叶蝠属（间叶蝠）、白蝠属（白蝠）等之数种哺乳动物。

**下属分类**
本科包括以下属：
白线蝠属

白线蝠属（学名：Platyrrhinus），哺乳纲、翼手目、叶口蝠科的一属，而与白线蝠属（白线蝠）同科的动物尚有尾翼果蝠属（尾翼果蝠）、南美毬果蝠属（南美毬果蝠）、食花蝠属（食花蝠）、间叶蝠属（间叶蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
尾翼果蝠属

尾翼果蝠属（学名：Pygoderma），哺乳纲、翼手目、叶口蝠科的一属，而与尾翼果蝠属（尾翼果蝠）同科的动物尚有南美毬果蝠属（南美毬果蝠）、红果蝠属（红果蝠）、白线蝠属（白线蝠）、食花蝠属（食花蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
南美毬果蝠属

南美毬果蝠属（学名：Sphaeronycteris），哺乳纲、翼手目、叶口蝠科的一属，而与南美毬果蝠属（南美毬果蝠）同科的动物尚有红果蝠属（红果蝠）、黄肩蝠属（黄肩蝠）、尾翼果蝠属（尾翼果蝠）、白线蝠属（白线蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
红果蝠属

红果蝠属（学名：Stenoderma），哺乳纲、翼手目、叶口蝠科的一属，而与红果蝠属（红果蝠）同科的动物尚有黄肩蝠属（黄肩蝠）、筑帐蝠属（筑帐蝠）、南美毬果蝠属（南美毬果蝠）、尾翼果蝠属（尾翼果蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
黄肩蝠属

黄肩蝠属（学名：Sturnira），哺乳纲、翼手目、叶口蝠科的一属，而与黄肩蝠属（黄肩蝠）同科的动物尚有筑帐蝠属（筑帐蝠）、黄耳蝠属（大黄耳蝠）、红果蝠属（红果蝠）、南美毬果蝠属（南美毬果蝠）等之数种哺乳动物。

**下属物种**
黄肩蝠属的物种如下：
筑帐蝠属

筑帐蝠属（学名：Uroderma），哺乳纲、翼手目、叶口蝠科的一属，而与筑帐蝠属（筑帐蝠）同科的动物尚有黄耳蝠属（大黄耳蝠）、大纹面蝠属（大纹面蝠）、黄肩蝠属（黄肩蝠）、红果蝠属（红果蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
黄耳蝠属

黄耳蝠属（学名：Vampyressa），哺乳纲、翼手目、叶口蝠科的一属，而与黄耳蝠属（大黄耳蝠）同科的动物尚有大纹面蝠属（大纹面蝠）、筑帐蝠属（筑帐蝠）、黄肩蝠属（黄肩蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
大纹面蝠属

大纹面蝠属（学名：Vampyrodes），哺乳纲、翼手目、叶口蝠科的一属，而与大纹面蝠属（大纹面蝠）同科的动物尚有吸血蝠属（吸血蝠）、黄耳蝠属（大黄耳蝠）、筑帐蝠属（筑帐蝠）等之数种哺乳动物。

**下属物种**
本属包括以下物种：
吸血蝠属

吸血蝠属（Desmodus）为翼手目叶口蝠科吸血蝠亚科下的一属，其他分类于同亚科的演化支包括白翼吸血蝠属及毛腿吸血蝠属，是以血液为生的新世界蝙蝠。
于1826年前往巴西探险时发现了新种Desmodus rufus，并将该新种分类至新属吸血蝠属（Desmodus）下做为模式种，然而该模式种于1810年就已经由Étienne Geoffroy以学名「Phyllostoma rotundus」发表。

**分类学**
 吸血蝠亚科 Desmodontinae- 吸血蝠属 Desmodus
:*Desmodus archaeodaptes Desmodus archaeodaptes
:* 德古拉吸血蝠 Desmodus draculae
:* 吸血蝠 Desmodus rotundus
::* 古巴吸血蝠 Desmodus rotundus puntajudensis（Desmodus puntajudensis）
:* Stock's vampire bat Desmodus stocki
毛腿吸血蝠属

毛腿吸血蝠属（学名：Diphylla）为哺乳纲、翼手目、叶口蝠科的一属。而与毛腿吸血蝠属同科的动物有长腿蝠属（丽长腿蝠）、白翼吸血蝠属、吸血蝠属等数种哺乳动物。

**下属物种**
本属包括以下物种：
六月十四

六月十四，农历六月第十四天。

**大事记**

**出生**

**逝世**
唐德宗建中二年，郭子仪。

**节假日和习俗**
文殊菩萨诞辰

**其他内容**
十斋日

**参看**
日历
*六月十二 - 六月十三 - 六月十四 - 六月十五 - 六月十六 
*五月十四 - 六月十四 - 七月十四
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月14日
长腿蝠属

长腿蝠属（学名：Natalus），哺乳纲、翼手目、长腿蝠科的一属。

**下属物种**
 丽长腿蝠 (美观筒耳蝠) - Natalus lepidus (Gervais's funnel-eared bat)- 牙买加长腿蝠 (小脚筒耳蝠) - Natalus micropus (Cuban funnel-eared bat)- 墨西哥筒耳蝠 (筒耳蝠) - Natalus stramineus (Mexican funnel-eared bat)- 巴西长腿蝠 - Natalus tumidifrons (Bahaman funnel-eared bat)- 肿鼻筒耳蝠 (凸吻筒耳蝠) - Natalus tumidirostris (Trinidadian funnel-eared bat)
四指蝠属

四指蝠属（四指蝠）（学名：Amorphochilus），
，哺乳纲、翼手目、烟蝠科的一属，而与四指蝠属（四指蝠）同科的动物尚有烟蝠属（烟蝠）。

**下属物种**
 四指蝠 Amorphochilus schnablii Peters, 1877
六月十五

六月十五，农历六月第十五天。

**大事记**
顺治二年（1645年），多尔衮谕礼部：“向来剃发之制，不即令画一，姑令自便者，欲俟天下大定始行此制耳。今中外一家，君犹父也，民犹子也；父子一体，岂可违异？若不画一，终属二心……”

**出生**
1311年，元武宗至大四年 — 刘基 (伯温)。
*1722年，清世宗雍正二年 — 纪昀 (晓岚)。

**逝世**
202年，汉献帝建安七年 — 袁绍 (本初)。

**节假日和习俗**
王灵官圣诞

**其他内容**
十斋日

**参看**
日历
*六月十三 - 六月十四 - 六月十五 - 六月十六 - 六月十七 
*五月十五 - 六月十五 - 七月十五
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月15日
烟蝠属

烟蝠属（烟蝠）（学名：Furipterus），哺乳纲、翼手目、叶口蝠科的一属，而与烟蝠属（烟蝠）同科的动物尚有四指蝠属（四指蝠）。

**下属物种**
 烟蝠 Furipterus horrens (F. Cuvier, 1828)
六月十六

六月十六，农历六月第十六天。

**大事记**

**出生**

**逝世**
1595年（宣祖28年）：庆嫔李氏
*明神宗万历四十四年，汤显祖。

**节假日和习俗**
南极大帝圣诞

**其他内容**
闰六月十六(2017年)
*7 月 28 日 月全食（国内各地月没带食）
本次月全食自 01 时 13 分半影食始、02 时 24 分初亏、03 时 30 分食既、05 时 14 分生光、06 时 19 分
复圆、07 时 30 分半影食终。全部过程历经 6 小时又 17 分钟，其中本影食历时 3 小时又 55 分钟。最
大本影食分为 1.614。

**参看**
日历
*六月十四 - 六月十五 - 六月十六 - 六月十七 - 六月十八 
*五月十六 - 六月十六 - 七月十六
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月16日
六月十七

六月十七，农历六月第十七天。

**大事记**

**出生**

**逝世**
三国曹魏文帝黄初四年，曹彰。

**节假日和习俗**

**其他内容**

**参看**
日历
*六月十五 - 六月十六 - 六月十七 - 六月十八 - 六月十九 
*五月十七 - 六月十七 - 七月十七
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月17日
盘翼蝠属

盘翼蝠属（学名：Thyroptera），是哺乳纲、翼手目、蝙蝠科的一属哺乳动物。

**下属物种**
本属包括以下物种：
六月十八

六月十八，农历六月第十八天。

**大事记**

**出生**

**逝世**

**节假日和习俗**
 池府千岁圣诞

**其他内容**
十斋日

**参看**
日历
*六月十六 - 六月十七 - 六月十八 - 六月十九 - 六月二十 
*五月十八 - 六月十八 - 七月十八
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月18日
子结构

在数学学科模型论中，某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。
形式定义如下。设  和  是同一个语言  的两个模型。我们称
是  的子模型(通常表示为 M ⊂ N) (等价的说， 是  的扩展)当且仅当 
#  的域是  的域的子集；
# 对于所有  的 -元关系符号 ，我们有 RM = RN ∩ Mn；
# 对于所有  的 -元函数符号 ，我们有 ；
# 对于所有  的常量符号 ，我们有 。
比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。
在语言的模型的范畴中，子模型将是子对象。

**参见**
Löwenheim-Skolem定理
*素模型
六月十九

六月十九，农历六月第十九天。

**大事记**

**出生**

**逝世**
五代周世宗显德六年，后周世宗柴荣。

**节假日和习俗**
 观世音菩萨得道纪念日

**其他内容**

**参看**
日历
*六月十七 - 六月十八 - 六月十九 - 六月二十 - 六月廿一 
*五月十九 - 六月十九 - 七月十九
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月19日
六月二十

六月二十，农历六月第二十天。

**大事记**

**出生**
金章宗明昌元年，耶律楚材。

**逝世**
唐玄宗开元四年，唐睿宗李旦。
*明神宗万历十年，张居正。

**节假日和习俗**

**其他内容**

**参看**
日历
*六月十八 - 六月十九 - 六月二十 - 六月廿一 - 六月廿二 
*五月二十 - 六月二十 - 七月二十
*正月 - 二月 - 三月 - 四月 - 五月 - 六月 - 七月 - 八月 - 九月 - 十月 - 十一月 - 腊月
*公历6月20日
第四届全国人民代表大会

中华人民共和国第四届全国人民代表大会任期由1975年至1978年，期间只召开过一次全体会议。

**历次全体会议**

**第一次会议**
中华人民共和国第四届全国人民代表大会第一次会议于1975年1月13日至17日在北京召开。会议的主要议程是：修改宪法、听取政府工作报告、选举和任命国家领导人员。
出席这次大会的代表共2864人，大会选举了由218名代表组成的主席团。会上，国务院总理周恩来作政府工作报告，张春桥作关于修改宪法的报告，包括修宪废除国家主席及副主席的职务。
全体代表一致通过了修改后的《中华人民共和国宪法》、废除中华人民共和国主席及副主席，关于政府工作报告的决议。
会议选举89岁的朱德为第四届全国人民代表大会常务委员会委员长，董必武、宋庆龄（女）、康生、刘伯承、吴德、韦国清（壮族）、赛福鼎·艾则孜（维吾尔族）、郭沫若、徐向前、聂荣臻、陈云、谭震林、李井泉、张鼎丞、蔡畅（女）、乌兰夫（蒙古族）、阿沛·阿旺晋美（藏族）、周建人、许德珩、胡厥文、李素文（女）、姚连蔚为第四届全国人民代表大会常务委员会副委员长，常务委员会委员143人。
会议决定，任命周恩来为中华人民共和国国务院总理，邓小平、张春桥、李先念、陈锡联、纪登奎、华国锋、陈永贵、吴桂贤（女）、王震、余秋里、谷牧、孙健为国务院副总理。
此次会议发表的《政府工作报告》是全国人大历史上篇幅最短的一份《政府工作报告》，也是周恩来总理向大会作的最后一次政府工作报告。考虑到周恩来的晚年健康情况，毛泽东特地指示邓小平，让周恩来只讲半个小时的报告全文。邓小平按照毛泽东主席的意见，将报告全文缩短至不到5000字。

**参考文献**

**参见**
 第四届全国人民代表大会常务委员会- 中华人民共和国国务院 (第四届)
吸足蝠属

吸足蝠属（吸足蝠），哺乳纲、翼手目、吸足蝠科的一属。
吸足蝠科，仅1属1种，即吸足蝠Myzopoda aurita。分布于马达加斯加岛。

**下属物种**
 吸足蝠 (吸盘足蝠) - Myzopoda aurita A. Milne-Edwards & A. Grandidier, 1878- Myzopoda schliemanni Goodman, Rakotondraparany & Kofoky, 2007
彩蝠属

彩蝠属（学名：Kerivoula），翼手目蝙蝠科的一属，而与彩蝠属同科的动物尚有洞蝠属（苍白洞蝠）等之数种哺乳动物。

**分类**
本属已知22个物种如下：
洞蝠属

洞蝠属（学名：Antrozous），哺乳纲、翼手目、蝙蝠科的一属哺乳动物，生存在亚洲。

**下属物种**
本科包括以下属：
宽耳蝠属

宽耳蝠属（学名：Barbastella）是哺乳纲翼手目蝙蝠科下的一属，共包含三个物种。

**物种**
 欧洲宽耳蝠（Barbastella barbastellus）- 北京宽耳蝠（Barbastella beijingensis）- 亚洲宽耳蝠（Barbastella leucomelas）

**参考资料**
 世界动物名称数据库