Concepts are enclosed in square brackets and follow one of these general schemas:
[Type] [Type : Referent] [Type = Descriptor] [Type : Referent = Descriptor]
The type can be any identifier, and should generally be included in the type hierarchy to be most useful. The type can also be a variable, in which case the Prolog system must be able to infer the type.
Referents can be either:
Multi-referents look like this: "*1", "*2", ..., "*9" and are used to say that a concept is really the same as another concept even though it is placed somewhere else textually. Multi-referents are different from coreference links. (We will get back to coreferents later).
Concept descriptors associate data with a concept. They can be any kind of Prolog+CG data, but the datatype most often used is conceptual graphs.
Next, we treat the problem of how to write graphs that extend over more than one textual line.
PrevLite: 4.3.3 Concept descriptors
NextLite: 4.4 Multi-line graphs
Prev: 4.3.3 Concept descriptors
Up: 4.3 Concepts
Next: 4.4 Multi-line graphs