predicate概况

折叠展开

vt. 断定为…;使…基于

vi. 断言,断定

n. 谓语,述语

adj. 谓语的;述语的

predicate词义

折叠展开

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

predicate用法

折叠展开

词组短语

(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 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

predicate词源

折叠展开

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.

predicate造句

折叠展开

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

变化谓词

-- 来源 -- 英汉 - 翻译参考[网络]