egy would be to explicitly include 
&gt; all the alternatives into the SUO, using some kind of 'context' 
&gt; mechanism, maybe (?) To be really useful however this would need to 
&gt; be more powerful than the 'micro-theory' notion used in Cyc, which is 
&gt; really only a namespace-management tool. You would want to have 
&gt; axioms relating the various notions of 'part' in different 
&gt; ontologies, or the various ways of referring to time and change, in 
&gt; the form of mappings between contexts. It 