Class *EVENT

The class of phases, during which some changes happen.
Subclass-Of: *phase
Axioms:
(=> (*Event ?Self)
    (And (Exists (?Y ?Z)
                 (And (Situation ?Y)
                      (Situation ?Z)
                      (Context-Of ?Y ?Self)
                      (Exists (?B)
                              (And (Beginpoint ?Self ?B)
                                   (Co-Occur ?Y ?B)))
                      (Context-Of ?Z ?Self)
                      (Exists (?C)
                              (And (Endpoint ?Self ?C)
                                   (Co-Occur ?Z ?C)))
                      (Different ?Y ?Z)))
         (Exists (?A) (And (Temporal-Part-Of ?Self ?A) (Process ?A)))))