predicate in a predicate
- From: Keenlearner <yingun@xxxxxxxxx>
- Date: Thu, 6 Dec 2007 03:26:11 -0800 (PST)
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, so that I can generalized
the "live" predicate ?
live( John, in(Bali) )
live( John, with(Marry) )
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.
.
- Follow-Ups:
- Re: predicate in a predicate
- From: Douglas Eagleson
- Re: predicate in a predicate
- From: Jan Burse
- Re: predicate in a predicate
- From: William Elliot
- Re: predicate in a predicate
- Prev by Date: Re: Enderton problem
- Next by Date: Re: predicate in a predicate
- Previous by thread: New Books & Magazines up to 95% Off
- Next by thread: Re: predicate in a predicate
- Index(es):
Relevant Pages
|
