"Units of Measure",
&gt; &gt; "Organism Hierarchy", "Temporal Definitions/Axioms", "Mereotopological
&gt; &gt; Definitions/Axioms", and "Positional Relations".  Are you
&gt; &gt; saying that we
&gt; &gt; need a more fine-grained division that this?
&gt;
&gt;MW: This is a problem (I think) with KIF first of all.
&gt;
&gt;What I am saying is that it is already clear that a monolithic ontology will
&gt;become unmanageable, if it hasn't already become so. I think we need what I
&gt;think John has described as a