t; &gt; ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;; Defined predicates ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;
&gt; &gt; ;; 2-place: disjoint
&gt; &gt; ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;; Borrowed predicates ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;
&gt; &gt; ;; From an ontology of space and time
&gt; &gt; ;;
&gt; &gt; ;; 1-place: timepoint
&gt; &gt; ;;
&gt; &gt; ;; 2-place: before, beforeEq, exists-at, located-at
&gt; &gt;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;