Topic:logic
Hypernyms:relation
Inherited Hypernyms:logical relationrelationabstractionentity
Direct Hyponyms:conditional relationcontradictorycontraryimplicationlogical implicationmodalitymodereflexivenessreflexivitytransitivity
Full Hyponyms:
contradictorycontraryimplicationmodalityreflexivitytransitivity