根据谓词和变元之间不同的语义关系，可以把变元分为若干个类型，这种变元的类型一般称为()。

根据谓词和变元之间不同的语义关系，可以把变元分为若干个类型，这种变元的类型一般称为（)。