t form of
&gt; global names is not mandated by the KIF standard.  Some convention
&gt; should be establsihed which guarantees the uniqueness of global
&gt; ontology names within any proposed community of usage. Following
&gt; current practice, URI's used as global ontology names are taken to
&gt; refer to a KIF ontology at the location indicated by the URI. [ref:
&gt; <A  HREF="http://www.w3.org/Addressing/">http://www.w3.org/Addressing/</A> ]
&gt;
&gt; Ontologies can be combined in two ways.
&gt;
&gt; An o