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

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

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

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

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

6. 影响各类有谓词性补足成分的句子句法结构格式化形成过程的一个重要因素，就是语言单位的结构边界律。

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

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

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

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

11. 岳阳柏祥方言中的亲属称谓词主要有“长辈”、“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。

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

13. 谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

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

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

16. 容器的键值等同性谓词。

17.“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。

18.22. 所以，为了避免一些繁琐的重复代码，本库定义了一些谓词用于在比较前应用间接性。

19. 表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。

20.38. 在谓词演算的反驳树中，被证明的合式公式。

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

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

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

24.48. 容器的键值等同性谓词。

25.14. 这就是一个一阶谓词演算不可表述的属性.

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

27. 得到的参数化人员谓词存储为人工任务模型的一部分。

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

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

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

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

32.1. 影响各类有谓词性补足成分的句子句法结构格式化形成过程的一个重要因素，就是语言单位的结构边界律。

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

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

35. 所以，为了避免一些繁琐的重复代码，本库定义了一些谓词用于在比较前应用间接性。

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

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

38.29. 得到的参数化人员谓词存储为人工任务模型的一部分。

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

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

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

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

43. 直方图用于计算谓词的选择率。

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

45.31. 表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。

46. 如果你希望使用一个不同的等同性谓词，你也需要使用一个相匹配的散列函数。

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

48. 这就是一个一阶谓词演算不可表述的属性.

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

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