\begin{definition}[Definition:Predicate/Is of Predication]
Consider the statement:
:'''Socrates is a man.'''
This means:
:'''The object named Socrates has the property of being a man.'''
Thus we see that '''is''' here means '''has the property of being'''.
In this context, '''is''' here is called '''the ''is'' of predication'''.
\end{definition}