A frame can be considered just a convenient way to represent a set of
predicates applied to constant symbols (*e.g.*, *ground instances*
of predicates.). For example, the frame above could be written:

sex(Adam,Male) spouse(Adam,Beth) child(Adam,Charlie) child(Adam,Donna) child(Adam,Ellen)

More generally, the ground predicate
*r*(*f*,*g*) is represented, in a frame based system, by placing the value `g` in
the `r` slot of the frame `f` [Hayes, 79]:

*r*(*f*,*g*)

Throughout this document we use the teletype font
(*e.g.*, `John`) for Algernon statements and the math font (*e.g.*,
*John*) for predicate calculus. We use standard predicate calculus
notation except that we find it convenient to use in
addition to the usual .

Tue Oct 29 11:15:33 CST 1996