Synset
an idea accepted as a demonstrable truth
<noun.cognition>
theorem
semantic pointers
hypernym
idea, thought
hyponym
Bayes' theorem