(单选题)6: 定义谓词如下：HIGHER(x, y)：x比y长得高，定义公式father（x）：x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为（）。
A: HIGHER(lixp, father(lixp))
B: HIGHER(father(lixp)，lixp )
C: father(lixp)
D: 以上都不对
(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取
