Relation TRANSFORMS-INTO

A substance trasforms into another when its duration-value meets the duration value of the other. Moreover, the second strictly depends on the first.
Arity: 2
Domain: Substance
Range: Substance
Subrelation-Of: Chemical-relation, Strictly-necessary-to
Axioms:
(=> (Transforms-Into ?A ?B)
    (Exists (?Z ?W)
            (And (Interval ?Z)
                 (Interval ?W)
                 (During ?Z ?A)
                 (During ?W ?B)
                 (Meets ?Z ?W))))