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. Rules, like any other data structure in KEE, are in the form of units and can be organized into classes. What the Rulesystem does is to prove the conclusions of a rule using the premises of the rule.