Synset
a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
<noun.relation>
modality
mode
semantic pointers
hypernym
logical relation