Synset
(logic) a proposition that is true if and only if another proposition is false
<noun.communication>
negation
lexical pointers
derivationally related form
negate
semantic pointers
domain of synset (topic)
logic
hypernym
proposition