查询词典 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处活跃和非活跃在语义上的意义。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"