predicate
英 [ˈpredɪkət] 美 ['predɪkət]

vt.

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

vi.

断言，断定；

n.

谓语；述语；

adj.

谓语的；述语的；

变形

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

英英释义

predicate[ 'predikeit ]

• n.
  • (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula

    "`Socrates is a man' predicates manhood of Socrates"

  • one of the two main constituents of a sentence; the predicate contains the verb and its complements

    同义词：verb phrase

• v.
  • make the (grammatical) predicate in a proposition

    "The predicate `dog' is predicated of the subject `Fido' in the sentence `Fido is a dog'"

  • affirm or declare as an attribute or quality of

    "The speech predicated the fitness of the candidate to be President"

    同义词：proclaim

  • involve as a necessary condition of consequence; as in logic

    "solving the problem is predicated on understanding it well"

    同义词：connote

词组短语

(grammatical) predicate（语法）谓语

predicate logic谓词逻辑

predicate verb谓语动词

predicate calculus谓词演算

双语例句

用作名词(n.)

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.
   一般说来,一个合乎文法的子句包含有主语与谓语。

用作动词(v.)

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.
   他的论据以事实为基础

用作形容词(adj.)

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