谓词 的变量是 的时候,这种谓词是原子谓词公式