Hyponym

From Glottopedia
Revision as of 20:30, 3 July 2014 by NBlöcher (talk | contribs) (Marked as {{ref}})
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

REF This article has no reference(s) or source(s).
Please remove this block only when the problem is solved.