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