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) &rarr;P(x) and not (P(x) &rarr;Q(x))

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

Examples

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

Other languages

 * German Hyperonym (de)