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