查询词典 predicate

Moreover, these bounds can be used to predicate the range of future risk if we know now state of the diffusion process.

这一结果可以用来预测未来的在险值的界，即如果知道现在的状态，我们可以给出将来时间的在险值的上下界。

The elementary event semantic and the causality between parent object and son object are expressed in a form of"subject-predicate-object"as "Parent Object Identity -Event Identity -Son Object Identity ".

用"父亲对象标识码-引起变化的事件标识码-变化后的儿子对象标识码"这样一个"主语-谓语-宾语"的形式表达最基本的事件语义和父子对象之间的因果关系。

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

Guided by the theories of exocentric-endocentric construction and decategorization of nouns, the main purpose of this article is to study the phrases which are composed by nouns or centered by noun or nouns but not belonged to the category of endocentric constructions in modern Chinese. These noun-centered exocentric constructions have almost lost all of the categorial characteristics of nouns and played the roles of predicate or adverbial modifier or complement in Chinese clauses.

本文主要结合离心结构、向心结构理论和名词非范畴化理论；研究现代汉语中以名词构成或者以名词为核心的、结构上又不属于向心结构的短语，这些名核离心结构短语在语法功能上基本丧失了名词的范畴属性，在句子中一般充当谓语、状语或者补语。

The former, as adding nothing through the predicate to the concept of the subject, but merely breaking it up into those constituent concepts that have all along been thought in it, although confusedly, can also be entitled explicative.

前者并没有添加新的概念给主语，而只是阐明早已包含在主语概念中的组成类概念，也可以称为解释性质的判断。

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

The second part analyzes the formal language of knowledge predicate logic.

第二部分：分析知道谓词逻辑的形式语言。

Formal theories such as predicate logic provides us with a powerful tool to guarantee sound reasoning and thinking.

以前的理论比如谓项逻辑学提供了一种合理的推理和思考的工具。

In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了