&gt; --Robert Meersman
&gt; &gt;
&gt; &gt; Er, no...it wouldn't.  This is an interesting point,
&gt; &gt; close to the heart of the ontology enterprise.
&gt; &gt; If that really is a *predicate*, then things
&gt; &gt; called 'concept' and 'context' have to be
&gt; &gt; presumed to exist (in the logical sense
&gt; &gt; of 'exist', ie to be in the domain of
&gt; &gt; quantification.)  So you have put these
&gt; &gt; things into the actual ontology, where
&gt; &gt; they need to be incorporated into the
&gt; &g