## Role Predicate Ex 25

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

| Representing Roles In Events
| Role Predicate Ex 24
| Role Predicate Ex 26

## Questions:

Is the most appropriate role being used in the consequent clause of this axiom?

    (#$implies
     (#$and
      (#$isa ?THEFT #$Stealing-Generic)
      (#$perpetrator ?THEFT ?PERP))
     (#$toLocation ?THEFT ?PERP))

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