Deploying distinctions between ignorance of (p) and ignorance that (p) (is true), and between knowledge of (p) and knowledge that (p) (is true), I address a question that has hitherto received little attention, namely: what is it to have knowledge of propositions? I then provide a taxonomy of ontological conceptions of the nature of propositions, and explore several of their interesting epistemological implications.