李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）

A.常量

B.变元

C.函数

D.一元谓词

正确答案：函数