王洋的父亲是教师，用谓词逻辑可以表示为Teacher（father（Wangyang））这里father（Wangyang）是（）。

王洋的父亲是教师，用谓词逻辑可以表示为Teacher（father（Wangyang））这里father（Wangyang）是（）。
A.常量
B.变元
C.函数
D.一元谓词
正确答案：函数