Definition:Predicate/Is of Predication

Definition
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.