查询词典 predicate function

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

In the first-order logic, predicate variable is said of a relationship between the predicate letters, this relationship has not been assigned to any particular special relationship or meaning

在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

In these subject-predicate sentences, what we mean by the predicate is a property that many things can have.

在这些主谓语句中，我们通过谓词表达的就是一个很多东西能够拥有的属性。

Find out all the predicate structure, non-predicate, prepositional phrase and the lead word of the subordinate clause.

找出句中所有的谓语结构、非谓语动词、介词短语和从句的引导词。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

I shall reformulate the problem of predication as the following two questions:(1) What justifies our univocal use of one and the same predicate expression to predicate of several different things?

我将表述问题重新界定为以下的两个问题：是何依据使得我们能单义地使用同一个述词来表述不同事物？

According to the character of adnex in Predicate-complement Structure, Predicate-complement Structure can be divided into Moving fill structure and Patterns complement structure.

根据述补结构中充当述语的成分的性质，述补结构可以分为动补结构和形补结构。

Human being's language consciousness system relates directively to speech communication system. In fact it shows subject-predicate structure of the form, that is "object- subject- character- predicate".

人类语言意识系统直接涉及言语交际系统，表现为&事物－主体－普遍特征－述谓&形式的&主体－述谓&结构。

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 若在黑夜行走，就必碰跌，因为那光不在他里面。