 about this issue in
comparing predicate calculus vs. conceptual graphs... It seems possible that
the same kinds of arguments might translate to KIF (with the same kinds of
rebuttals)...(?) This may be a way to address the understandability and
expressiveness question...


&gt; MW: So yes EXIST could make a good starting point for the SUO. However, I
&gt; find here an assumption that KIF is the starting point, and I have
&gt; considered it unwise for a newcomer like me to challenge this.

PJ: Hmmm....I thin