在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它为一阶谓词

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 不是谓词公式 以下哪个不是谓词公式（） 定义谓词如下：boy(x):x是男孩，girl(x):x是女孩，high(x，y):x比y高。用谓词逻辑表示下列知识()，如果马良是男孩，张红是女孩，则马良比张红长得高。 谓词和谓词性短语可以作宾语吗？ 谓词逻辑中，重言式（tautlogy）的值是（）。 关于谓词逻辑，下列描述正确的是（） 量词均在谓词公式之前，作用域延伸至谓词公式末尾的谓词公式称为前束范式 在嵌套查询中，谓词ANY 的语义是________，谓词ALL 的语义是________。 根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。 仅个体变元被量化的谓词称为（） 仅个体变元被量化的谓词称为 仅个体变元被量化的谓词称为（）。 中心词是谓词的偏正词组都是谓词性的短语吗？ 知识表达方法有语义网络、一阶谓词逻辑、框架、产生式规则等。() 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 什么是谓词？ 谓词性主语 主谓词组 谓词交叉模型