谓词

[谓词] 词的字数是 “2”。

[谓词] 词的发音是 “wèi cí”。

[谓词] 词的注音是 “ㄨㄟˋ ㄘˊ”。

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

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

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

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

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

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

7.比如在主谓词序和动宾词序上是一致的。

8.映射允许分配两种类型的RDF谓词：文字宾语或者资源宾语。

9.呈现区域的页脚区域中的谓词。

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

11.与一阶谓词逻辑公式

12.设计器谓词是通过查询

13.操作列表中的现有谓词

14.在模板编辑谓词更改时调用。

15.任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

词语解释

谓词[wèi cí]

1句子里谓语部分的主要的词

2数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词

引证解释

谓词[wèi cí]

1句子里谓语部分的主要的词

2数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词

国语辞典

谓词[wèi cí]

1句法中说明主语的成分称为“谓语”，而谓语的中心成分，也有人称为“谓词”。例一句中，“飞”为谓语，这个谓语为单词，所以也可称为“谓词”。一般叙述句中的主要动词，称为“述语”，而有些语法学家就称为“谓词”

例“鸟飞”

网络解释

1句法中说明主语的成分称为“谓语”，而谓语的中心成分，也有人称为“谓词”。例一句中，“飞”为谓语，这个谓语为单词，所以也可称为“谓词”。一般叙述句中的主要动词，称为“述语”，而有些语法学家就称为“谓词”

释谓词，用来描述或判定客体性质、特征或者客体之间关系的词项。根据《现代汉语》的定义,汉语的体词包括名词,数词,量词；汉语的谓词包括动词和形容词。

外语翻译

译英语翻译: predicate (in logic and grammar)