11 Nested graphs
DefinitionWhen a conceptual graph G1 is nested inside a concept C, it means that:
This is a recursive definitionNote that this is a recursive definition. We define the notion "nested" first in terms of a base case: "directly part of the referent of C", and then in terms of a recursive case: "part of the referent of a concept which is nested inside C".
An example of a conceptual graph nested in another conceptual graph could be:
[Proposition: [Professor: Alfred]->(Attr)->[Good] ] "There is a proposition, which is 'Alfred is a good professor'"
Here, the sub-graph
is nested within the concept with concept type 'Proposition'.
Prev: 10.1 Quiz: Coreferents
Up: Part III: Advanced CG
Next: 11.1 Contexts