Template EventDateAndTime

This is a template for specifying date and time of an event of a certain type that takes place with a thing.

EventDateAndTime(a, b, c) means that b is a ClassOfEvent, c is a RepresentationOfGregorianDateAndUtcTime that represents the PointInTime when b takes place, and a is a Thing involved in an Activity causing b.

Roles:
1 hasObject Thing
2 hasEventType ClassOfEvent
3 hasDateAndTime RepresentationOfGregorianDateAndUtcTime

Axiom:

EventDateAndTime(x1,x2,x3) <->
Thing(x1) &
ClassOfEvent(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
exists p (PointInTime(p) &
   ClassOfRepresentationOfThingTemplate(x3,p) &
   exists u (Event(u) & 
      CompositionOfIndividualTemplate(u,p) &
      ClassificationTemplate(u,x2) &
      exists v (Activity(v) &
         CauseOfEventTemplate(u,v) &
         InvolvementByReferenceTemplate(x1,v) &
))). 

Illustration:

EXAMPLE The statement EventDateAndTime(INSTALLATION WORK SCHEDULE 19283, CREATION DATE, 2010-11-21T06:00)