A term in ontology, semiotics, CG theory, and other fields.
The template for a concept is as follows:
[Concept type: Referent]
Thus the referent is what comes after the colon.
The meaning of the CG referent of the CG concept is intended to be a referral to the real-world entity of which the CG concept is a representation.
If I am thinking of a piece of cheese in my refridgerator, then I have the concept "cheese" in my mind. The referent of this concept will be the piece of cheese in my refridgerator.
In all of the following examples, the referent is what comes after the colon, inside the concept:
[Person: #she] [Cat: Garfield] [HeavenlyBody: "Luna"]
A very general term in philosophy, discrete mathematics, CG theory, and other fields.
A relation is an entity that connects two or more entities in a specific manner.
A relation always has:
A term in CG theory
A relation hierarchy is a concept of type RelationHierarchy whose referent is a conceptual graph which specifies a number of relation labels, a partial order over the relation labels, their valences, and the lambda expressions defining the labels.
A term in CG theory (and Amine).
A relation type always has a placement in a relation hierarchy.
It may in addition have a definition CG, usually employing lambda expressions for showing where to attach the arcs.
It may have a canon CG describing typical usage, and/or a definition CG definining it.
In Amine, relation types are always dyadic.
A term in Prolog
A rule conforms to the following syntax:
head : body.
The body of the rule is a comma-separated list of subgoals.
For a rule to be satisfied, all of the subgoals in the body must be satisfied. This is done in a left-to-right, top-to-bottom order.