单项选择题

​李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming))这里father(Liming)是()

A.常量
B.变元
C.函数
D.一元谓词