*['predikәt]；n. 谓语, 谓项；a. 谓语的；vt. 断定为, 使基于, 意味着, 预言；vi. 断言；

从句，分句，子句包含一个主语和一个谓语的一组词，构成了复合词或复合句的一部分.

一个连接是两个行集的笛卡尔乘积，谓词连接作为一个过滤结果应用。

谓语由两个（或两个以上）的动词或动词词组组成,并属于同一个主语，这样的句子叫连动句。

动词作主语时要有一定的条件：谓语需由形容词或表示停止、开始、判断一类的动词充当。

补语跟在一个动词后的一个或几个单词共同组成的谓语结构；例如，在我们喜欢吃冰淇淋一句中的短语吃冰淇淋

predicate

first-order predicate calculus

predicate logic

class of semi-computable predicate【数】

one-place predicate calculus【数】

first order predicate calculus

first-order predicate logic

first order predicate logic【数】;predicate logic of first order【数】