词语解释：

1.数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。
2.句子里谓语部分中的主要的词。参看〖谓语〗。
3.用来代替或者展示其客体性质、特征或者客体之间关系的词项。

引证解释：

⒈ 句子里谓语部分的主要的词。

⒉ 数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。

国语词典：

句法中说明主语的成分称为「谓语」，而谓语的中心成分，也有人称为「谓词」。例如：「鸟飞」一句中，「飞」为谓语，这个谓语为单词，所以也可称为「谓词」。一般叙述句中的主要动词，称为「述语」，而有些语法学家就称为「谓词」。

网络解释：

谓词

谓词，用来描述或判定客体性质、特征或者客体之间关系的词项。根据《现代汉语》的定义,汉语的体词包括名词,数词,量词；汉语的谓词包括动词和形容词。

谓读音：wèi

谓(1)（动）说：所～。(2)（动）称呼；叫做：称～。

词读音：cí

词cí(1)（名）语言中最小的有意义的能自由运用的单位：～语。(2)（名）说话或诗歌、戏剧、文章中的语句：歌～。(3)（名）一种长短句押韵的诗体；由五、七言诗和民歌发展而成。形成于唐代；盛行于宋代。

求反器，是一种函数适配器，它将谓词函数对象的真值求反。

句子中心是谓词，题元在句子中由名词性成分充任。

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。

主词，谓词，受词都是实体的名称。实体在真实世界中，可以是具体的或是抽象的。

本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统。

传统逻辑中专名和限定摹状词都是单独概念，在谓词逻辑中则被称为个体词。

从而形成了模糊谓词演算一种新的语构与语义体系。

在这两个查询中，方括号中表示了连接谓词。

如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。