查询词典 semantic

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

According to given formal semantic, it has been proven the reliability and completeness of this system.

根据给出的形式语义，可以证明该系统的可靠性和完全性。

This paper also discussed the pragmatic causes and semantic conditions of duo, and concluded that the speaker uses duo to compensate the meaning to avoid distortion when simplifying a complex quantity expression. The position of duo in a quantity-representing phrase is determined by the position in which it can be semantically specified.

文章还探讨了"多"字使用的语用动因和语义条件，认为其语用动因是说话人简化了较复杂的量而又为避免失真误导而做的补偿；一个表量词组在什么地方可以使用量代词"多"，取决于这个表量词组语义上在哪个位置有可再细化的空间。

One advantage of componential analysis is that by specifying the semantic features of certain words, it will be possible to show how these words are related in meaning.

成分分析的一个好处是，通过列出某些单词的语义特征，就可能显示这些单词在意义上有什么联系。

The thesis describes and analyzes English and Chinese cooking words by using the method of componential analysis within cooking semantic field.

本论文在语义场理论的框架下用成分分析法对英汉烹饪词汇进行了描绘和对比分析。

Componential analysis is based on the belief that the meaning of a word can be dissected into meaning components, called semantic features.

语义成分分析法所基于的观点是词义可以分成不同的意义成分，叫做语义特征。

Through the analysis of the functions of legal documents connected with the context of situation s in which they occur and their componential elements, this paper demonstrates the close association between the three metafunctions on semantic level and the three factors of context of situation exhibited in the texts of legal documents, as well as t.

本文通过对法律文件语篇的元功能、语境及其组成成分的分析，展示了语篇中语义层的三个元功能与语境的三个要素的密切关系以及法律文件这种正式语体在数量和频率上突出的文体特征，表明了语体的文体特征来自于语言使用者对语言功能和语境的网络系统的选择。

This invention discloses an excavation method of generalized association rule used to analysis the compound rule of Chinese medicine; the method is essentially an excavation of association rule combined with excavation method of generalized association rule expressed by field knowledge, using semantic Web technology as the principal means expressed by field knowledge.

本发明公开了一种用于分析中医方剂药物组配规律的泛化关联规则挖掘方法，该方法实质上是一种结合关联规则挖掘和领域知识表示的泛化关联规则挖掘方法，它使用语义万维网技术作为领域知识表示的主要手段。

Finally according to the semantic characteristic and the syntax function ,we divide these psychology verbs into three typical sorts:the mood/emotion class、the thought/cognition class、the conation/ actuation class,and obtain the definition for the psycholoy verb:the psychology verb is one kind of verb which expresses a psychological response about one person to another person/thing.

最后，按语义特征和句法功能将这些心理动词分为情绪/情感类、思维/认知类、意动/使动类三个典型小类，并得出心理动词的定义为：它是表示人对人/事物的一种心理反应的一类动词。

Beginning with the speech act theory, the intention and effect of speech act verbs are explored, and the corresponding classifications are put forward. From a further analysis of how to express"attempt"and"success"in conative functional semantic field, the expression means of how to express"success"in Chinese and Russian speech act verbs are induced and the differences of the two core expression means are pointed out by a comparative study.

本章从言语行为理论出发剖析言语行为动词的意向性和取效性，据此对其进行分类，分析了意动功能语义场下的言语行为动词如何表达"尝试"义和"成功"义，推导出汉、俄语言语行为动词对"成功"义的表达手段，通过对比分析指出两种语言核心表达手段的差异。

This matter overthrew all basises I learned from Sunday school .

这件事把我从周日学校学到的所有道理都颠覆了。

It's one of the cruel ironies of aging: if you want to remember your favorite restaurants, the less you should eat at them.

这是一个老化的残酷讽刺：如果你想记住你最喜欢的餐馆，你应该更少吃到它们。