g and disjointness rules are important for upper
ontology concepts.     How do you jump from the acknowledgement that the
conclusions from subtyping and disjointness rules will be entirely germane to
our applications to the assumption that rules that articulate any other
kind of
information are, as a default rule, useless?  This isn't obvious to me.  


&gt;
&gt; 2. Large chunks of ontological terms won't be reusable from domain to
domain,
&gt; because they must be choosen to fit with axioms that are 