Hyponym

A predicate P is a hyponym of another predicate Q iff P is a special case of Q:


 * For any pair of predicates P,Q: for all x, P(x) &rarr; Q(x) and not (Q(x) &rarr; P(x)))

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

Example

 * 'Dog' is a hyponym of 'animal'.

Other languages

 * German Hyponym (de)