slated into KIF, CGs, and
&gt; many other notations.
&gt; 
&gt; One issue that has to be recognized:  all those axioms
&gt; were designed for different purposes, and they use very
&gt; different primitives.  As an example, I use the Eulerian and
&gt; Langrangian systems of coordinates for fluid mechanics. Many
&gt; of the same phenomena can be represented in either one, but
&gt; the representations have very different structures and
&gt; relationships.  That is true of all those categories in
&gt; the outli