Synset
the logical study of necessity and possibility
<noun.cognition>
modal logic
semantic pointers
hypernym
logic