with the sentence operators "nec"
&gt; &gt; ;; (for "necessarily") and "poss" (for "possibly").  Primitive
&gt; &gt; ;; constants, primitive predicates, and defined predicates are
&gt; &gt; ;; listed below.  Note that among the primitive predicates are
&gt; &gt; ;; several (e.g., "exists-at") that are borrowed from other ontologies --
&gt; &gt; ;; moreover, those predicates may be *defined* in those ontologies.
&gt; &gt; ;; Eventually, of course, it will be important to have mechanisms
&gt; &gt; ;; for maki