ose of automatic inference, in all subject domains
involving representation.

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<!--X-Follow-Ups-End-->
<!--X-References-->
<!--X-References-End-->
<!--X-BotPNI-->
<ul>
<LI>Prev by Date:
<STRONG><A HREF="msg01976.html">Re: SUO: Re: Propositional Equation Reasoning Systems (PERS)</A></STRONG>
</LI>
<LI>Next by Date:
<STRONG><A HREF="msg01974.html">SUO: Re: KIF syntax and semantics and a basic ontology</A></STRONG>
</LI>
<li>Prev