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