1) Fixpoint semantics
不动点语义
1.
The semantics (fixpoint semantics and descriptive semantics) of εLN are given.
针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义)。
2.
The syntax and semantics(including fixpoint semantics and descriptive semantics)of hybrid knowledge bases in εL are given.
给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义)。
2) greatest fixpoint (gfp) semantics
最大不动点语义
3) generalized fixed points
广义不动点
4) semantic characteristic
语义特点
1.
This article has discussed the English and Chinese proverb s semantic characteristics, discussing the English and Chinese proverbs from the spoken language nature, rich, and national characteristic aspect and so on.
但它具有自身的特点,本文探讨英汉谚语的语义特点,从言语性、丰富性、知识性和民族性等方面对英汉谚语做了阐述。
2.
The paper analyzes the semantic characteristics of English and Chinese proverbs from the following aspects: national cultures,rich content,implied meanings,educational quality and various relations.
文章从民族文化性、内容丰富性、意义潜在性、本质教育性和关系多样性等方面分析了英汉谚语的语义特点。
5) semantic feature
语义特点
1.
This thesis attempts to approach it from the following aspects: its components, syntax functions, semantic feature and pragmatic feature.
现代汉语中的“为A而A”格式是一个常见的格式，但对其进行的研究却不多，本文试图从格式的构成、句法功能、语义特点、语用特征几方面作一个全面的研究。
6) semantic features
语义特点
1.
It explores the possible contexts in which connotative meanings may occur and,on the basis of case study,further discusses the semantic features the connotative meanings em.
以《全唐诗》为语料,以名词“云”为考察对象,分析并描写其隐含义,以此为名词性义位隐含义的语义分析提供范例,考察名词隐含义可能出现的语用环境,在对隐含义作个案考察的基础上,对隐含义的语义特点、隐含意义发展为理性意义的一些问题进行了讨论。
2.
Focusing on the semantic features,syntactic multi-functions in a comparative way,this es- say explores the passive markers in some Chinese dialects and languages of minority national- ities.
本文采用比较的方法对汉语部分方言中的被动标志做类型学的考察,以探究其语义特点及句法上的多用性,文章指出了汉语被动标志在意义和用法上的一些普遍共性特征。
3.
This essay explores the passive markers in some Chinese dialect,focusing on their semantic features, syntactic multi-function in a comparative way,which is the principal approach in typology.
本文采用跨语言跨方言比较的方法对汉语部分方言及部分少数民族语言中的被动标志做了类型学考察,重点在探索其语义特点及句法上的多用性,指出了汉语被动标志在意义和用法上的普遍性特征,对被动标志及其相关问题做了初步的探索。
补充资料：Borel不动点定理
Borel不动点定理
Borel fixed - point theorem
B吮l不动点定理{B.限l五xe小州nt价e僻m二匆卿，T侧邓吧，f.01”聊叉B“狱班滋n卜.王j 设F为代数闭域kl二非空完全代数簇，正则地作用于犷上的连通可解代数群G(见变换的代数群扭1罗-braic goup of transformat一ons))在卜中有不动点.由这个定理可以推出代数群的B.耽l子群(Borel sub-grouP)是共扼的(Bore卜MOI洲)叉)B定理(Borel一Moro-zov theorem))，不动点定理是A.Borel([lj)证明的.Borel定理可以推广到任意域k(不一定代数封闭卜设F为在域k上定义的完全簇若连通可解k分裂群(人一sPlit grouP)G正则地作用在F上，则有理人点集V(k)或者为空集，或者它包含G的一个不动点.因此推广的Bore]子群共扼性定理是:若域k是完满的，则一个连通人定义的代数群H的极大连通可解北可裂子群，在H的k点构成的群中元素作用下互相共辘(f21)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条