Synset
a relation between propositions
<noun.relation>
logical relation
semantic pointers
hypernym
relation
domain of synset (topic)
logic
hyponym
contradictory
contrary
transitivity
reflexivity, reflexiveness
modality, mode
implication, logical implication, conditional relation