Conceptual Graph Theory