查询词典 predicate variable

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.

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

A gerund has the of a noun, but a present participle is used as part of a predicate verb or as an adjective.

动名词有名词的作用，但现在分词或用作谓语动词的一部分，或用作形容词。

This language integrates and expands GDMO and GRM, and the first-order predicate logic and non-deterministic finite state machine with action are introduced into it.

该语言综合并扩展了GDMO和GRM，并在其中引入了一阶谓词逻辑和带动作的非确定的有限状态自动机。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。