Structures used to store knowledge in a manner that relates items of knowledge to one another, and that permits an inference engine to manipulate the knowledge and its relationships.