 not have a formal logic bent, so it has nothing approaching 
&gt; the kind of solid
&gt; formal foundation that KIF does.  It would no doubt be 
&gt; possible to put EXPRESS
&gt; on such a foundation - which would presumably require making 
&gt; some changes to
&gt; it.
&gt; 
&gt; EXPRESS also had different purpose than KIF did. It is 
&gt; designed to express data
&gt; models, not knowledge per se.  This is not to suggest that 
&gt; there is something
&gt; intrinsically different about a data model and a 