Synset
(logic) an inference that follows directly from the proof of another proposition
<noun.cognition>
corollary
semantic pointers
hypernym
inference, illation
domain of synset (topic)
logic
