A specialization of both store of information and context. Each instance of propositional information (or PIT ) is an abstract object -- a chunk of information consisting of one or more propositions. The propositional content of a PIT is not essentially encoded in any particular language, and it may be representable in many languages. PITs are used to represent the informational contents of InformationBearingThings. Objects or events which are instances of information-bearing thing are linked to the abstract PIT contents they embody using the predicate information content (see also the function PIT Of IBT Fn). An instance of propositional information may be something as simple as the information content of a command to stop one's vehicle, expressed in a road sign or in a traffic officer's gesture, or it may be something as complex as the entire contemporary knowledge of mathematics, embodied in many and various sources.