Hyperonym

A predicate P is said two be a hyperonym of another predicate Q iff Q is a special case of P:

For any pair of predicates P,Q:
P is a hyperonym of Q iff
for all x,
Q(x) →P(x)
and
not (P(x) →Q(x))

The term 'hyperonym' is a converse of the term hyponym.

Examples

• 'animal' (hyperonym) vs. 'dog' (hyponym)

Other languages

• German Hyperonym (de)