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.