查询词典 predicate function

The predicate-object structure is one of the most important structures in Chinese as a SOV language and reveals quite a few syntactical traits of the Chinese language with its rich usages.

述宾结构是汉语作为SVO语言中十分重要的语法结构之一，汉语句法关系的许多特点，在述宾结构中都有反映。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

The term in a syllogism that is the predicate of the conclusion.

在三段论法中作结论谓语的术语。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

Summary predecessors symmetric predicate introductory part of the study results, and the purpose of their resear...

绪论部分综述前人对称谓语研究的成果，并提出自己研究的目的和方法，以及文学作品称谓语研究的意义。

Every girl was used to be a tearless angel , that period , I predicate that she was certain to dry her eyes.

每个女孩都曾是个无泪的天使，那次，我断定她肯定苦红了眼睛。

What it is for the proposition to be true, says Leibniz, is for this relation of containment to hold, ie for the predicate to be contained in the the subject.

它的命题为真说，莱布尼茨，是举行，为谓词即应包含在受这种遏制的关系。

But that number in front of uncountable nouns plural noun, the predicate verb in the plural form.

但当不可数名词前有表示数量的复数名词时，谓语动词用复数形式。

At the same time, the author prove the product of a number in the unit interval [0, 1]and a stable fuzzy predicate is stable.

给出稳定模糊谓词的数乘运算仍是稳定模糊谓词的证明。

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。

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年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。