## Role Predicate Ex 26

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

| Representing Roles In Events
| Role Predicate Ex 25
| Role Predicate Ex 27

## Questions:

Is this assertion true with respect to our world?

    (#$not
     (#$and
      (#$isa ?TRANS #$Translation-LocationChange)
      (#$toLocation ?TRANS ?TO)
      (#$fromLocation ?TRANS ?FROM)
      (#$inRegion ?TO ?FROM)))

Last Update: 03/10/1999 11:36:41