t; &gt; (documentation "AXIOM: Continuant and Occurrent are disjoint.")
&gt; &gt;
&gt; &gt; (disjoint Continuant Occurrent)
&gt; &gt;
&gt; &gt; (documentation "AXIOM: The temp-part-of relation holds between entities 
&gt; and occurrents")
&gt; &gt;
&gt; &gt; (nth-domain temp-part-of 1 Entity 2 Occurrent)
&gt; &gt;
&gt; &gt; (documentation "AXIOM: Each temporal part of an occurrent exists at 
&gt; some timepoint.")
&gt; &gt;
&gt; &gt; ;; ISSUE:  Can stages (i.e., temporal parts of occurrents)
&gt; &gt; ;; ex