ay &quot;in long&quot; now), IMHO don't bother
&gt; writing rules that just 'express knowledge', and don't bother creating (too
&gt; many) terms with just that motivation either--at least not if you want to
&gt; solve problems for Real People. 



What is an upper ontology but something that &quot;just expresses knowledge&quot;?   Are
you claiming that it is useful to write some rules that just express knowledge
and not others?  Why is it useful to have subtyping and disjointness rules,
rules which certa