Knowing whether Knowing what Conclusions and Future work

Knowledge is not only expressed in terms of “knowing that”: I I know whether the claim is true. I I know what your password is. I I know how to go to Tsinghua. I I know who proved this theorem. I... Linguistically: “know ” takes embedded questions but “believe” does not; ambiguity in concealed questions. Philosophically: are they reducible to “knowing that”? Logically: how to reason about those forms of knowledge? Computationally: how to efficiently represent and do inference about those knowledge expressions