句子里谓语部分的主要的词。
数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。
句子里谓语部分的主要的词。
数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。
句法中说明主语的成分称为「谓语」，而谓语的中心成分，也有人称为「谓词」。例一句中，「飞」为谓语，这个谓语为单词，所以也可称为「谓词」。一般叙述句中的主要动词，称为「述语」，而有些语法学家就称为「谓词」。
例如：「鸟飞」
谓词，用来描述或判定客体性质、特征或者客体之间关系的词项。根据《现代汉语》的定义,汉语的体词包括名词,数词,量词；汉语的谓词包括动词和形容词。
1.使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。
2.容器的键值等同性谓词。
3.直方图用于计算谓词的选择率。
4.谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
5.如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。
6.本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
7.在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。
8.谓词的工作原理类似于：对于每个节点，引擎使用上下文处理谓词。
9.在谓词演算的反驳树中，被证明的合式公式。
10.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
11.一个例外是在V8中，由于MQT路由限制，任何查询谓词引用的事实表列都必须包括在统计视图中。
12.谓词演算与程序语义。
13.换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
14.表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。
15.得到的参数化人员谓词存储为人工任务模型的一部分。
16.同语句是一种常见的语言现象,体词、谓词、加词等可以有条件出现在它的主宾位上.
17.主词，谓词，受词都是实体的名称。实体在真实世界中，可以是具体的或是抽象的。
18.在那个谓词中，还可以再次向下钻取，以添加另一个谓词。
19.所以，为了避免一些繁琐的重复代码，本库定义了一些谓词用于在比较前应用间接性。
20.另一种选择是使用小写希腊字母来表示这种元变量谓词。