谓词造句

词语：谓词

拼音：wèi cí

意思：1.句子里谓语部分的主要的词。 2.数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。

• 传统逻辑中专名和限定摹状词都是单独概念，在谓词逻辑中则被称为个体词。
• 另一种方法是通过在昵称上定义检查约束来指定分区谓词。
• 更多细节请见等同性谓词和散列函数一节。
• 必须情景参与者在相应谓词的词典释文或元语言释文中对应的变元叫做谓词的语义配价。
• 定位四元谓词形状、编辑读数、连接角色和添加约束。
• 在脚本中，可以使用这个值通过谓词分别统计素数和非素数花费的时间。
• 应此体词后面到底填写主格助词还是宾格助词取决于后面的谓词是他动词还是自动词。
• 您的谓词应该采用什么顺序？
• 这些附加的源列，加上用户查询中附加的源连接谓词，可以帮助重写阶段识别不会产生任何连接结果的连接。
• 仅指定那些谓词中所使用的列。
• 简单系统是只由直谓谓词类的元素所构成的系统。复杂系统是至少由具有两个相异性质或关系的元素构成的系统。
• 另一方面，重写阶段可能会通过传递引入隐含谓词。
• 在那个谓词中，还可以再次向下钻取，以添加另一个谓词。
• 当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。
• 现进一步讨论主词与谓词的特性。
• 语词层面的政治委婉语是最易察觉的一类，它的分析可以用指称转喻、情景转喻和谓词转喻进行。
• 照这种说法，主词便是外在的独立自存之物，而谓词就被认为只是从我们脑子里找出来的东西。
• 例如，您可以选择一个节点，然后钻取到查询中添加一个谓词。
• 例如，您可以通过把可以仅从索引就确定需要的行的谓词放到查询中来将行读取降到最低。
• 三个表用等值连接谓词连接。
• 过滤因子是0到1之间的一个数值，它用来评估表中谓词为真的行所占的比例。
• 于是任何事物都可依相异律加上一个差异的谓词，这和依同一律可以给予任何事物以同一的谓词正相反对。
• 个谓词中的每一个也显示在不同的行上，两个本地谓词在两个联接谓词之前显示。
• 在谓词演算的反驳树中，被证明的合式公式。
• 对本例来说，您需要为关系列添加一个查询谓词。
• 重新排序和重新组合谓词是基于谓词的种类（本地或联接）和表引用。
• 连接行集数是两个行集被连接在一起时产生的行集数。一个连接是两个行集的笛卡尔乘积，谓词连…
• 必须在管理控制台中为此谓词启用组工作项，因为在缺省情况下组工作项是被禁用的。
• 其基本的前提是谓词的论元结构有其自身内部的结构，它在许多方面影响到谓词的语法行为。
• 求反器，是一种函数适配器，它将谓词函数对象的真值求反。
• 之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
• 在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。
• 如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。
• 请注意，当您为设计器谓词创建新的菜单项时，您还为该菜单项附加了一个单击处理程序。
• 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
• 从而形成了模糊谓词演算一种新的语构与语义体系。
• 谓词演算与程序语义。
• 如果你希望使用一个不同的等同性谓词，你也需要使用一个相匹配的散列函数。
• 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。
• 得到的参数化人员谓词存储为人工任务模型的一部分。
• 直方图用于计算谓词的选择率。
• 容器的键值等同性谓词。
• 在谓词演算中，有时将原子公式简称为原子。