"Frames and Logic in Knowledge Representation"