WordNet (r) 3.0 (2006):epistemic logic n 1: the modal logic of knowledge and uncertainty and ignorance