ower that sequence
variables give to KIF comes in very handy for certain things.

&gt; &gt; &gt;  - predication is used for set membership.
&gt; &gt;
&gt; &gt; You mean you model predication in terms of set membership in the
&gt; &gt; usual way?  Ok.
&gt;
&gt; MW: Yes, but I think in general a predicate is used as a property,

In my idiolect (not shared by all, especially John Sowa -- hi John!),
this makes no sense.  A predicate is a linguistic thingy, a property is
a semantic (or ontological) thingy that c