## Role Predicate Ex 29

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

| Representing Roles In Events
| Role Predicate Ex 28
| Role Predicate Ex 30

## Questions:

Is this axiom true with respect to our world?

    (#$implies
     (#$and
      (#$isa ?INS #$PhysicalDevice)
      (#$instrument-Generic ?EVENT ?INS))
     (#$deviceUsed ?EVENT ?INS))

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