ist at more than one timepoint;  in particular, can
&gt; &gt; ;; they exist across intervals of time?
&gt; &gt;
&gt; &gt; (forall (?occ ?x)
&gt; &gt;         (=&gt; (and (instance-of ?occ Occurrent)
&gt; &gt;                  (temp-part-of ?x ?occ))
&gt; &gt;             (exists (?t)
&gt; &gt;                     (exists-at ?x ?t))))
&gt; &gt;
&gt; &gt; (documentation "AXIOM: The spatial-part-of relation holds between 
&gt; entities and occurrents")
&gt; &gt;
&gt; &gt; (nth-domain spatial-part-of 1 Entity 2