Synset

(logic) a statement that is necessarily true
<noun.communication>

"the statement `he is brave or he is not brave' is a tautology"

lexical pointers

derivationally related form

semantic pointers

domain of synset (topic)

hypernym