Role Predicate Ex 27

E-Mail Comments to: training@cyc.com
Copyright© 1996, 1997, 1998 Cycorp. All rights reserved.

[Up]Representing Roles In Events
[Back]Role Predicate Ex 26
[Next]Role Predicate Ex 28

Questions:

Is this assertion true with respect to our world?

(#$implies
 (#$and
  (#$primaryObjectMoving ?MOVE ?OBJ)
  (#$pathway-Complete ?MOVE ?PATH))
 (#$holdsIn ?MOVE (#$onPath ?OBJ ?PATH)))


[Up] [Back] [Next]
Last Update: 03/10/1999 11:36:40