This is a knowledge system development product that provides software developers with a set of programming tools and techniques for building applications to represent and analyze knowledge. KEE has a frame system. The basis of this system is a unit.
Units are similar to frames.
They represent the objects in the theory. Units contain a number of slots. Slots are used to describe the attributes of objects and can hold numerical data, text, tables, graphics, pointers to other units, and procedures written in Lisp. Coupled with KEE's inheritance mechanism, this allows for efficient storage and reasoning. In our system commonsense knowledge is deduced using a number of rules.