Synset
a logical relation such that two propositions are contraries if both cannot be true but both can be false
<noun.relation>
contrary
semantic pointers
hypernym
logical relation