Role Predicate Ex 25

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

[Up]Representing Roles In Events
[Back]Role Predicate Ex 24
[Next]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))


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