predicate
vt. 断定为…；使…基于
vi. 断言，断定
n. 谓语，述语
adj. 谓语的；述语的
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.)
The predicate should be in agreement with the subject in person and number.
谓语和主语应该在人称和数方面保持一致。
In general, a grammatical clause contains a subject and a predicate.
一般说来,一个合乎文法的子句包含有主语与谓语。
用作动词(v.)
Your proposal is acceptable, as we all predicate.
正如我们所断言的那样，你的建议是可以接受的。
His theory predicates the system of the universe.
他的理论断定宇宙有体系。
Most religions predicate life after death.
大多数的宗教宣称死后仍有生命。
He predicates his argument on the facts.
他的论据以事实为基础
用作形容词(adj.)
He did not pay enough attention to the agreement of the subject and the predicate.
他对主谓语的对应关系注意不够。
In Chinese, a preposition plus a nominal structure used as the adverbial must be placed before the predicate, e.g.
在汉语中介词加上后面的名词性结构作状语，一定要放在谓语的前面，不能放在谓语的后面。
权威例句
Dynamic predicate logicPredicate 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
predicate
predicate: see indicate
predicate (n.)
mid-15c., a term in logic, from Middle French predicat and directly from Medieval Latin predicatum, from Latin praedicatum "that which is said of the subject," noun use of neuter past participle of praedicare "assert, proclaim, declare publicly," from prae- "forth, before" (see pre-) + dicare "proclaim," from stem of dicere "to speak, to say" (see diction). Grammatical sense is from 1630s. Related: Predicative; predicator; predicatory.
predicate (adj.)
1887, from Latin praedicatus, past participle of praedicare "proclaim, announce" (see predicate (n.)).
predicate (v.)
1550s, back formation from predication, or else from Latin praedicatus, past participle of praedicare "proclaim, announce" (see predicate (n.)). Related: Predicated; predicating. Phrase predicated on "founded on, based on," is American English, first recorded 1766.
1. numerical predicate
数谓词
-- 来源 -- 英汉 - 翻译参考[网络]
2. predicate calculus
谓词演算
-- 来源 -- 英汉 - 短句参考
3. predicate constant
谓词常数
-- 来源 -- 英汉 - 翻译参考[网络]
4. enumerating predicate
枚举谓词
-- 来源 -- 英汉 - 翻译参考[网络]
5. predicate language
谓词语言
-- 来源 -- 英汉 - 翻译参考[网络]
6. resolvable predicate
可解谓词
-- 来源 -- 英汉 - 翻译参考[网络]
7. predicate variable
谓词变项
-- 来源 -- 英汉 - 翻译参考[网络]
8. uniformity predicate
一致性谓词
-- 来源 -- 英汉 - 翻译参考[网络]
9. recursive predicate
递归谓词
-- 来源 -- 英汉 - 翻译参考[网络]
10. change predicate
变化谓词
-- 来源 -- 英汉 - 翻译参考[网络]
predicate
