would go way beyond 
&gt; SUO-KIF, for sure.]
&gt; 
    The SUO itself should not contain logically incompatible axioms,
but when assertions are made about objects in the real world, 
contradictions can be readily generated.  If there are incompatible
Microtheories that are all useful, they could be maintained as 
extensions to the SUO.
    Once again, examples of concepts that simply can't both be defined with
the
same set of basic concepts will be very helpful.  The examples you have
given thus far seem t