ntology can include another simply by containing an ontology form
&gt; for the other ontology. In this way one ontology can simply be
&gt; included inside another, and its sentences are considered to be a
&gt; subset of those in the including ontology , and the namespace of the
&gt; included ontology is part of that of the including ontology. In
&gt; effect, the inner ontology form provides a name for a subset of the
&gt; sentences of the larger ontology, simply as a book-keeping
&gt; convenience.
&gt;
&gt;