Synset
the modal logic of knowledge and uncertainty and ignorance
<noun.cognition>
epistemic logic
semantic pointers
hypernym
modal logic
