11.1 Contexts


A context C is a concept whose designator is a non-blank conceptual graph G.


For examle, the following are examples in which contexts occur:

   [Proposition: [Rhino: ]->(Chrc)->[Color: Grey]  ]
   "All rhinos are grey"

   [Proposition: [Rhino: Otto]->(Chrc)->[Color: Orange] ]
   "Otto is an orange rhino"

   [Situation: [Rhino: Otto]->(In)->[Room: LivingRoom] ]
   "Otto the rhino is in the living room"

Here, "[Proposition]" and "[Situation]" are the contexts in which the other graphs, called the subgraphs, occur.

Prev: 11 Nested graphs
Up: 11 Nested graphs
Next: 11.2 Nesting