t; classification heirarchy, axioms have
&gt; &gt; to be provided to fix their meanings
&gt; &gt; (and debates will then ensue about
&gt; &gt; whether the axioms have indeed captured
&gt; &gt; the intended meanings or not, etc.), their
&gt; &gt; relationships with all the other things in
&gt; &gt; the ontology (notions of brotherhood, armchairs,
&gt; &gt; shoes and ships and sealing wax, ...) need to be
&gt; &gt; spelled out, and so on.  So this is NOT just a matter
&gt; &gt; of mundane implementation.  Imp