In case it is the agent that explicitly
uses something, the range should include *agent as well; on the other
hand, an agent always uses something to perform some process, then there
actually are two axioms: *agent-(performs)->action<-(instrument-of)-
something. When it is said that an agent 'generically' uses something,
an implied process must be inserted anyway, eg: smith-(performs)-
>action<-(instrument-of)-hammer. Another possibility: a 'uses' relation
which encapsulates: (performs)->action<-(instrument-of); see 'uses' for
such a composed relation.
- Arity: 2
- Range: Act
- Subrelation-Of: By-actor-of