Re: Conceptual graph -> FOPL convertion question

I think i'm getting it now. Thanks a lot.


--
Anbudan,
Ananth.
www.mp3.com/ananth_pattabi
http://hyderabad.sancharnet.in/hyd2_ananthmd


"Pento" <[EMAIL PROTECTED]> wrote in message
news:[EMAIL PROTECTED]
> "Ananth" <[EMAIL PROTECTED]> wrote in
news:[EMAIL PROTECTED]
> berlin.de:
>
> > Hi all
> >
> >
> > If anybody could help me convert the following stuff to
> > FirstOrder Predicate Logic, i'd be very thankful.
> >
> > 1.
> > [PERSON:sue] <- (AGENT) <- [DRINK] -> (OBJECT) -> [FOOD:milk] ->
> > (INSTRUMENT) -> [GLASS]
>
> Could it be the following ?
>
> agent(drink,sue)
> person(sue)
> object(drink,milk)
> food(milk)
> instrument(milk,glass)
>
> > 2.  Sam drove the car very fast.
>
> person(sam)
> driver(drive,sam)
> object(drive,car)
> vehicle(car)
> speed(drive,veryfast)
> possibleSpeed(veryfast)
>
> --
> Pento
>
> De wereld was soep, en het denken meestal een vork,
> tot smakelijk eten leidde dat zelden. - H. Mulisch