y, Structure,
&gt; &gt; ;; Situation, Reason, Purpose
&gt; &gt; ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;; Primitive predicates ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;
&gt; &gt; ;; 1-place: Entity, Class
&gt; &gt; ;;
&gt; &gt; ;; 2-place: has, instance-of, subclass-of, temp-part-of, spatial-part-of
&gt; &gt; ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;; Primitive (non-KIF) operators ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;
&gt; &gt; ;; nec, poss
&g