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