Re: predicate in a predicate

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.

----
.

Relevant Pages

  • Re: Will Brink has thick nippled tits!
    ... John lives for his imagined trolls. ... He worships the opportunity to say ...
    (misc.fitness.weights)
  • Re: Top Five Movies was Re: OT : Happy Star Wars Day
    ... Kyle emerges into Sarah's time, makes John, and dies. ... John lives. ...
    (rec.games.frp.dnd)
  • Re: McCain and his pedigree
    ... slaves were William's or were they brought into the marriage by his ... John when it came time to plight his second troth. ... Is a pretty little wife ... The idea at the time was to marry both. ...
    (soc.retirement)
  • Re: adverb in FIRST ORDER LOGIC
    ... >> really_loves(john, marry). ... So, for "John strongly loves Mary", how about: ... I think that is why it is not helpful to represent adverbs as predicates of the arguments of verbs. ...
    (sci.logic)
  • Re: What goes with this?
    ... >> I was just visiting the Virginia Quilter Site. ... (Hi John!) ... PAT in VA/USA ... What on earth do you pair with Bali? ...
    (rec.crafts.textiles.quilting)