n '(imports arithmetic)'. In
&gt; this way ontologies may include axioms which use vocabulary
&gt; introduced in other ontologies. (Note. There is one exception to this
&gt; rule, where one ontology consists entirely of declarations and no
&gt; #-prefixing is required. This is used only in sorted KIF.)
&gt;
&gt; As a convenience, an ontology can be given a local name in the
&gt; importing expression, eg
&gt; (imports ar <A  HREF="http://www.frob.org/2000/arithmetic">http://www.frob.org/2000/arithmetic</A>)
