=== Template !EventDateAndTime ===

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

[[BR]]!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. 
[[BR]]
[[BR]]Roles:  
[[br]]1 hasObject Thing 
[[br]]2 hasEventType !ClassOfEvent
[[br]]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:
[[BR]]
[[Image(EventDateAndTime.png)]]
[[BR]]

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