f ?occ Occurrent)
&gt; &gt;             (exists (?x)
&gt; &gt;                     (temp-part-of ?x ?occ))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM:  Occurrents have spatial parts")
&gt; &gt;
&gt; &gt; (forall (?occ)
&gt; &gt;         (=&gt; (instance-of ?occ Occurrent)
&gt; &gt;             (exists (?x)
&gt; &gt;                     (spatial-part-of ?x ?occ))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM:  Every relative entity necessarily bears the
&gt; &gt;  has relation to some entity, or some entity h