1、使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。

2、更多细节请见等同性谓词和散列函数一节。

3、谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。

4、在谓词演算中，有时将原子公式简称为原子。

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

6、实例分析表明，基于SAT的谓词抽象技术是一种构造程序抽象模型更高效的方法。

7、讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

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

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

10、谓词的工作原理类似于：对于每个节点，引擎使用上下文处理谓词。

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

12、本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

13、谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。

14、当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。

15、更多细节请见等同性谓词和散列函数一节。

16、一个例外是在V8中，由于MQT路由限制，任何查询谓词引用的事实表列都必须包括在统计视图中。

17、在谓词演算中，有时将原子公式简称为原子。

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

19、目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

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

21、每读出一个元素,就将它传递给第三个实参表示的谓词函数.

22、另一种选择是使用小写希腊字母来表示这种元变量谓词。

23、使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。

24、同语句是一种常见的语言现象，体词、谓词、加词等可以有条件出现在它的主宾位上.

25、“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。

26、请注意，当您为设计器谓词创建新的菜单项时，您还为该菜单项附加了一个单击处理程序。

27、在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。

28、有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。

29、直方图用于计算谓词的选择率。

30、具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。

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

32、符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

33、这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。

34、容器的键值等同性谓词。

35、谓词演算与程序语义。

36、当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。

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

38、另一种选择是使用小写希腊字母来表示这种元变量谓词。

39、清单2中的RDF三元组用谓词表达了author关系，虽然对您来说含义可能非常明显，但是计算机理解起来仍然困难。

40、在那个谓词中，还可以再次向下钻取，以添加另一个谓词。