Relation CATALYZED-BY

Arity: 2
Axioms:
(= (Inverse Catalyzes) Catalyzed-By)