X will be said to be a hyponym of Y (and, by the same token, Y a superordinate of X) if A is f(X) entails but is not entailed by A is f(Y):
X will be said to be a hyponym of Y (and, for a similar reason, Y a superordinate of X) if A is f(X) entails but is not entailed by A is f(Y):