仅个体变元被量化的谓词称为一阶谓词。

一阶谓词的功能与优点不包括（） 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 一阶谓词逻辑表示法可以表示不确定的知识 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（） 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？ 知识表达方法有语义网络、一阶谓词逻辑、框架、产生式规则等。() （名词解析） 一元谓词 下列各项中，谓词和变元之间属于动作与结果关系的是( ) 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 谓词和谓词性短语可以作宾语吗？ 二元谓词“大于等于”具有： 量词均在谓词公式之前，作用域延伸至谓词公式末尾的谓词公式称为前束范式 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。 谓词逻辑表示分为命题逻辑和谓词逻辑两种。() 中心词是谓词的偏正词组都是谓词性的短语吗？ 在嵌套查询中，谓词ANY 的语义是________，谓词ALL 的语义是________。 什么是谓词？ 不是谓词公式 谓词性主语 主谓词组