Relation TIME-OF-HAPPENING-OF

Arity: 2
Axioms:
(= (Inverse Happens-At) Time-Of-Happening-Of)