查询词典 semantics

Frame semantics interprets the confirmation of the anaphor and cognitive discursion.

框架语义学对间接回指中指称确定和认知推理有较强的解释力。

Next, I will start from the combination of disyllable words in Chinese and its characteristic in structure to discuss how these two words, Hai and Yang, are used separately and combinatively in ancient texts, when this phenomenon begins and how their structure and semantics meaning change.

接下来再从汉语双音节词汇的组成与结构方式的特性，讨论海洋二字在古籍中单用或合用的情况如何，是从何时开始的，其结构形式及语义演变如何？

Secondly, we review the former achievement of the study disyllable word and transferred-designation. Thirdly, we point out the shortage in study of transferred-designation, and draw out the articles main content: to conclude type of the disyllable word shifted from verb to noun; to make the explanation to the disyllable word shifted from verb to noun from the semantics and the cognition two angles.

随后简要的回顾以往的双音词节研究和转指研究的成果，指出目前转指研究中存在的不足，引出本文的主要内容：归纳双音节动词转指名词的类型；从语义和认知的角度对双音节动词转指名词现象作出解释。

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

And this phenomenon can be made explicit by employing lexical entailment of Lexical Semantics.

因此，二者的语义可以通过词汇语义学的词汇蕴涵来解释。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

However, the semantics of modify functions are not entirely equivalent to replace functions.

但是，修改函数的语义并不完全等同于替换函数。

This paper discusses idioms' major characteristics, and classifies them according to their semantics and etymology.

英语成语是英语词汇中的重要组成部分。当代英语中最常用的成语有4000余条。

In a multithreaded program, semantics of the fork and exec system calls change.

在多线程的程序环境中，fork和 exec 系统调用的语义变化

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。