hunks of
space-time, the other with sets.

&gt; &gt; &gt; So, if I have it correct (I would appreciate correction if I am
&gt; &gt; &gt; not) the key constructs in KIF are: - constants - variables (and
&gt; &gt; &gt; more generally lambda calculus)
&gt; &gt;
&gt; &gt; Nope, there is no variety of lambda calculus in KIF.  (And I am
&gt; &gt; puzzled why you think the lambda calculus is a generalization of the
&gt; &gt; notion of a variable.)
&gt;
&gt; MW: Well I may have misunderstood what Lambda Calculus is