lication of that inference rule
includes the second proposition as explicitly true much as the first was 
explicitly true.

Is this definition of "ontology" (small-O) something like what you meant
by an inventory of the things that one takes to exist?

or is your  Ontology (big-O) closer to what I called a world view ?

David

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><strong>Follow-Ups</strong>:
<ul>
<li><strong><a name="02602" href="msg02602.html">Re: SUO: 