查询词典 predicate calculus

The prominence relations are jointly determined by the thematic properties of the predicate and by the aspectual properties of the predicate.

显著关系是由谓词的题元属性和谓词的体属性决定的。

The organization of the a-structure for a predicate is taken to be a reflection of its lexical semantics, so that the a-structure of a predicate should be derivable from key characteristics of its meaning.

谓词的论元结构的组织方式不过是其词汇语义的反映，所以谓词的论元结构应该是由其词汇意义的主要特征中派生出来的。

In detail, the noun-centered exocentric constructions in modern Chinese included three different structures: the coordinate phrases, the modifier-head phrases and the special subject-predicate phrases. The coordinate phrases included the reduplicative forms and non-reduplicative form while the special subject-predicate phrases meant the phrases which played the role of clause component but not the clause itself.

具体说来，现代汉语中的名核离心结构包括联合式、偏正式和特殊主谓式三种，联合式当中又可以分为重叠式和非重叠式；特殊主谓式主要是指充当句子成分，而不是作为小句的主谓结构。

The internal components of the syntactic subject in the form of nominative absolute construction in an English sentence imply integrated logical subject-predicate relationship, expressing a type of concept, fact, state of affairs, or situation, after which is the syntactic predicate presenting the speaker's comment, description, or exposition.

英语独立主格结构型主语内部为逻辑主谓关系，主语化程度较低，用以表达一个概念、事实、事态、情景或情形。

Judge determined that the predicate as a predicate constant.

表示某个确定判定的谓词称为谓词常项。

In predicate logic, a predicate can take the role as either a property or a relation between entities.

在谓词逻辑，谓词可以采取的角色，无论是属性或实体之间的关系。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

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 .

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

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。