p : past
f : future
(null) : present
ts = x : begin a relatioln at time x,
tf = x : end a relation at time x
c : conditional
/ : negation,
? : question.
||PP can be described by conceptualization in which they occur.
||indicates that an actor acts.
||indicates that an object has a certain attribute
||one PP is equivalent to or an instance of another PP
||indicates PP2 is either the PART OF or the POSSESSOR OF PP1.
||indicates a state change of an object.
|ACT [O] <- PP
||indicates the object of an action
|ACT <-[O] C
||MTRANS requires conceptualizations or combinations of conceptualizations as objects, and MBUILD has its own special object type.
|ACT <-[I] C
||ACTs have conceptualizations as instruments.
||ACTs can be varied along certain dimensions (e.q. , speed for motion ACTs).
|ACT[I] <- I
||indicates the instrumental conceptualization for an action
|PP<-[R] ACT <-PP
||indicates the receipent and the donor of an object with in an action
|PP<-[D] ACT <-PP
||indicates that direction of an object within an action
|X <-[R] Y
||indicate that conceputalization X caused conceptualization Y. When written with a “c” this form denotes that X COULD cause Y
|X <-[E] S or S1 <-S2
||State or State change can enable conceptualizations to occur.
||conceptualizations have times
||conceptualizations have location
||John picked up a rock. He hit Bill.=> John hit Bill with the rock.
||John hit mary with a rock => John was probably mad at Mary
||Mary gave John a car => John has the car
||John hit Mary => John probably wanted Mary to be hurt
||Pete went to Europe => Where did he get the money
||John wants the book => John probably want to read it
||Dick looked in his cook book to find out how to make a roux => Dick will now begin to make a roux.
|Missing enablement inference
||Mary couldn't see the horses finish. She cursed the man in front of her. => The man blocked her vision
||The baby ran into the street. Mary ran after him => Mary want to prevent the baby from getting hurt
|Action prediction inference
||John wanted some nails =>He went to the hardware store.
|Knowledge propogation inference
||Pete told Bill that Mary hit John with a bet => Bill knew that John had been hurt
||Does Pete have a gall bladder ? => Its highly likely.
|State duration inference
||John handed a book to Mary yesterday. Is Mary still holding it => Probably not.
||Andy's diaper is wet. => Andy is probably a baby
||Mary is going to a masquerade. => She will probably wear a costume
||Mary coundn't jump the fence => Why did she want to ?