A Proposed Definition of Propositional Knowledge