icit in Sowa's 
&gt; ontology.
&gt; &gt;  Again, it appeals to an auxiliary ontology of timepoints.")
&gt; &gt;
&gt; &gt; (forall (?x)
&gt; &gt;         (=&gt; (instance-of ?x Continuant)
&gt; &gt;             (exists (?t1 ?t2)
&gt; &gt;                     (and (timepoint ?t1)
&gt; &gt;                          (timepoint ?t2)
&gt; &gt;                          (before ?t1 ?t2)
&gt; &gt;                          (forall (?t)
&gt; &gt;                                  (=&gt; (and (beforeEq ?t1 t)
&gt; &gt; 