Difference between revisions of "Hyponym"
Jump to navigation
Jump to search
Haspelmath (talk | contribs) |
Volker gast (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | 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:<br>for all ''x'',<br>P(x) → Q(x)<br>and<br>not (Q(x) → P(x))) | ||
| + | |||
| + | The term 'hyponym' is a [[converse]] of the term '[[hyperonym]]'. | ||
| + | |||
| + | ==Example== | ||
| + | * 'Dog' is a hyponym of 'animal'. | ||
===Other languages=== | ===Other languages=== | ||
Revision as of 13:14, 23 May 2009
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)
