Varieties of Formalized Contexts and Subcontexts

John McCarthy

We can consider several kinds of subcontexts and discuss their relations with the enveloping context. These include theories and their lifting to outer contexts as discussed in [1]. Also there are contexts of initial segments and other parts of a sentence that give the referents of nouns, pronouns and other parts of speech. Next we have problem solving contexts which are created to formalize problems, e.g. the Amarel context for missionaries and cannibals. Finally, we will discuss database contexts that relate the contents of different databases.
