Re: Implications for KIF
Date: Thu, 13 May 93 12:52:32 -0400
Message-id: <>
To:, interlingua@ISI.EDU,
Subject: Re:  Implications for KIF
> I wanted to translate nested CG contexts into quoted KIF expressions.
> For example, suppose we said "Tom owns a cat, and he believes that
> it is on a mat."  That might be represented in KIF by something like
> the following:
>    (exists (?x cat)
>            (and (owns Tom ?x)
>                 (believes Tom `(exists (?y mat) (on ?x ?y))) ))
> I said "something like" this expression, because there is a question
> about what to do with a variable like ?x inside a quoted expression,
> which refers to something quantified outside that expression.  There
> is no problem with ?y, since it is quantified and used within the
> quoted expression.
Despite all our differences re models, I agree with John's preference
for option 3, i.e., the above representation instead of various "comma"
and "name" complications. I think quantifying-in is interpretable. -Len