1.数理逻辑中表示一个个体的性质和两个或两个以上个体间关系的词。

2.句子里谓语部分中的主要的词。参看〖谓语〗。