查询词典 predicate

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 .

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

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.

以非限定动词（即动词不定式、-ing 分词、-ed 分词）作谓语动词的分句叫做非限定分分句。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。