Re: predicate in a predicate

On Dec 6, 7:46 pm, William Elliot <ma...@xxxxxxxxxxxxxxxxxx> wrote:
On Thu, 6 Dec 2007, Keenlearner wrote:
I was wondering how should I represent these two sentences in First
Order Logic Form

John lives in Bali
John lives with Marry

live_in( John , Bali )
live_with( John, Marry )

or Can I have a predicate in the predicate,
live( John, in(Bali) )
live( John, with(Marry) )

No.

As you can see that the second arguments of "live" predicate can either
refer to the person or place. But can we use the same predicate "live"
with the second argument refer to person and place ? Thank you.

It refers to a proposition. Thus you have hybrid
propositional constant, live(x,P) which isn't FOL.

----

So I need to use the live_in(John, Bali) and live_with(John, Marry) in
order to be compliance with FOL ? or what do you think ? I am doing
natural language processing research, where a English sentence will be
converted into FOPC and then Prolog clauses to be proved. Thank you
for the reply.
.

Relevant Pages