Re: Conceptual graph -> FOPL convertion question

"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