Definitional Mechanisms for Conceptual Graphs

Conceptual graphs formalize the semantic networks used to represent meaning in artificial intelligence and computational linguistics. This paper presents mechanisms for defining new types of concepts, conceptual relations, and composite entities that have other entities as parts. It gives a formal calculus for operating upon the graphs; applications and philosophical interpretations are treated in other papers.