alethic logic 1noundomain: thinkingPrinceton WordNet [ver.3.1]EnglishDefinitionthe modal logic of necessity and possibility and contingencyReport errorPath to highest hypernymMorphologySynset graph