查询词典 predicate

The latter, on the other hand, add to the concept of the subject a predicate which has not been in any wise thought in it, and which no analysis could possibly extract from it; and they may therefore be entitled ampliative.

后者则对主语概念添加了外于主语概念的描述，而这种添加是不可能通过分析的方法得来的，因此可以称为扩充性的。

Indeed, the Logos was God (not "divine," as Moffatt, the anarthrous predicate is grammatically required but may also indicate a distinction between the persons).

的确，标识是上帝（而不是&神&，作为moffatt ， anarthrous始发文法要求，但也可能显示区分人）。

The pain predicate applies to you, the octopus, and the Alpha Centaurian, not because you share a single higher-level property, but because you, the octopus, and the Alpha Centaurian possess similar, although not precisely similar, properties.

疼述词用在你和章鱼上，不是因为你们分享一个单一的高阶属性，而是因为你们拥有相似的、但不是完全相似的属性。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Generally speaking, there are fewer subject ellipses but more predicate ellipses in English than in Chinese.

主语省略在英语中不及在汉语中使用广泛，而谓语的省略在英语中使用较多。

Subject ellipses and predicate ellipses can be found in both English and Chinese, but in concrete applications, not only similarities but also big differences exist between them.

英汉省略中都有主语省略与谓语省略的现象，但在具体运用中既有相似之处，又存在着明显的差别。

However, for Shang Yang, such manner of the landscape and the human didn't predicate that the emotion involved the landscape painting. Because of this, Shang Yang still rest on the expressionistic administrative levels, he could not get rid of the tradition formatted from 1980s.

但是，对于尚扬来说，这种风景和人的方式并不意味着把一种情绪放在风景的描绘上，因为这样一来，尚扬就仍然停留在表现主义的层次上，不能摆脱20世纪80年代所形成的传统。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

A finite clause is one with a finite verb phrase as its predicate verb or predicator a nonfinite clause is a clause with a nonfinite verb phrase as its predicator .

以限定动词词组作谓语动词的分句叫做限定分句。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。