查询词典 semantically

Taverna is an open-source, Grid-aware workow management system; it provides a set of transparent, loosely-coupled, semantically-enabled middle-ware to support scientists that perform data-intensive in-silico [9] experiments on distributed resources.

Taverna是一个基于开放源码和网格技术的工作流管理系统，它提供了一套透明、松散耦合、带语义功能的中间件，以支持科学家对分布式资源进行数据密集型的电脑模拟[9]实验。

1Analyzing the various characteristics of quantified structures in Chinese by means of Generalized Quantifier Theory;(2)Extending the function of fragment of natural language. That is, this fragment can not only generate syntactically arguments, including square of opposition and syllogisms, in terms of quantified sentences in Chinese, but interprets semantically the logical validity of those arguments;(3) It is a new study from cognition to generate and interpret the arguments in fragment of natural language.

刻画量化结构及其推理的汉语部分语句系统，其价值如下：（1）运用广义量词理论的方法分析汉语量化结构的各种特征；（2）扩大自然语言部分语句系统的功能，不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理，还能够从语义上解释这些推理句的逻辑有效性；（3）在自然语言部分语句系统内生成并解释推理，这是从认知角度研究推理的新视角。

That is , this fragment can not only generate syntactically arguments , including square of opposition and syllogisms , in ter ms of quantified sentences in Chinese , but interprets semantically the logical validity of those arguments 3 It is a new study from cognition to generate and interpret the arguments in fragment of natural language .

刻画量化结构及其推理的汉语部分语句系统，其价值如下：(1)运用广义量词理论的方法分析汉语量化结构的各种特征；(2)扩大自然语言部分语句系统的功能，不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理，还能够从语义上解释这些推理句的逻辑有效性；(3)在自然语言部分语句系统内生成并解释推理，这是从认知角度研究推理的新视角。

As we know, semantically, this corresponds with S, both as proximal demonstratives; that corresponds with IP, both as distal demonstratives.

我们知道，在语义上，this与&这&相对应，都表示近指；that与&那&相对应，都表示远指。

As Kaplan first explained it,"dthat" is not an operator on definite descriptions that turns them into rigid designators of the denotation of the description, but instead a semantically complete but context dependent referring term.

按Kaplan的第一次解释，&dthat&不是一个&把明确描述变成严格指示&的操作，而代之以是'语义完全但语境敏感的所指词'。

To obtain the correct requirement, we need to consider what it means, semantically, for a pseudo-register to be live or dead at a program point l.

为了获得正确的要求条件，我们需要认真考虑一个伪寄存器在程序点l处活跃和非活跃在语义上的意义。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。