Hyponym
Revision as of 13:14, 23 May 2009 by Volker gast (talk | contribs)
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) → Q(x)
and
not (Q(x) → P(x)))
The term 'hyponym' is a converse of the term 'hyperonym'.
Example
- 'Dog' is a hyponym of 'animal'.
Other languages
- German Hyponym (de)
