predicate

vt.

断言，断定；宣布，宣讲；使基于；

vi.

断言，断定；

n.

谓语；述语；

adj.

谓语的；述语的；

复数：predicates过去式：predicated过去分词：predicated现在分词：predicating第三人称单数：predicates

(grammatical) predicate（语法）谓语

predicate logic谓词逻辑

predicate verb谓语动词

predicate calculus谓词演算

1. The predicate should be in agreement with the subject in person and number.
   谓语和主语应该在人称和数方面保持一致。
2. In general, a grammatical clause contains a subject and a predicate.
   一般说来,一个合乎文法的子句包含有主语与谓语。

1. Your proposal is acceptable, as we all predicate.
   正如我们所断言的那样，你的建议是可以接受的。
2. His theory predicates the system of the universe.
   他的理论断定宇宙有体系。
3. Most religions predicate life after death.
   大多数的宗教宣称死后仍有生命。
4. He predicates his argument on the facts.
   他的论据以事实为基础

1. He did not pay enough attention to the agreement of the subject and the predicate.
   他对主谓语的对应关系注意不够。
2. In Chinese, a preposition plus a nominal structure used as the adverbial must be placed before the predicate, e.g.
   在汉语中介词加上后面的名词性结构作状语，一定要放在谓语的前面，不能放在谓语的后面。

Dynamic predicate logic
Predicate Logic as Programming Language.
Predicate Calculus and Program Semantics
Predicate logic as a programming language
Automatic predicate abstraction of C programs
A hard-core predicate for all one-way functions
The Semantics of Predicate Logic as a Programming Language
Predicate encryption supporting disjunctions, polynomial equations, and inner products
Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products
Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products