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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

27、 谓词 演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

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

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

30、用一阶 谓词 逻辑设计了一个亲属关系的自动推理模型。

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

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

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

34、在该处理程序中，可以检索与该菜单项相关联的 谓词 并调用它。

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

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

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

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

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

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

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

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

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