Relation DIRECT-RESULT

Arity: 2
Domain: Process
Range: Temporalized-entity
Axioms:
(= (Inverse Direct-Result-Of) Direct-Result)

(<=> (Direct-Result ?A ?B)
     (And (Process ?A) (Temporalized-Entity ?B)))