Synset

(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
<noun.communication>

lexical pointers

derivationally related form

semantic pointers

hyponym

domain of synset (topic)

hypernym