查询词典 predicate function

The High-level Petri Net Graph is derived from the Predicate/Transition Net by the way of folding, that is, decreasing the number of the graph elements and increasing the information carried by a graph element.

高级Petri网图形是对库所／变迁网图形的折迭，具体方法是减少图元数量而增加图元信息。

It is the mark of substances and of differentiae that, in all propositions of which they form the predicate, they are predicated univocally.

本体和属差的标志是，在所有它们形成宾语的命题中，它们表述的意义都是单一的。

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.

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

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。