什么是谓词？

下列哪种词类是谓词？（） 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。() 属于谓词性短语的是（） 属于谓词性短语的是（） 谓词逻辑表示分为命题逻辑和谓词逻辑两种。() 仅个体变元被量化的谓词称为二阶谓词。 仅个体变元被量化的谓词称为一阶谓词。 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？ 不是谓词公式 谓词性主语 主谓词组 下列短语属于谓词性的是（） 下列谓词公式是等价的有() 属于谓词性句法结构的是（） 属于谓词性句法结构的是() 属于谓词性句法结构的是() 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？ 能够带谓词性宾语的动词是（）