Relation TIME-OF-CATCHING-OF

Arity: 2
Axioms:
(= (Inverse Caught-At) Time-Of-Catching-Of)