2.2.5 一阶谓词逻辑知识表示方法