Base Template BeginningEndLocationOfActivity
This is a template for expressing where and when an activity takes place.
BeginningEndLocationOfActivity(a, b, c, d) means that a is an activity, b and c are points in time, and d is a location, and that a takes place at d, starting at b and ending at c.
Roles:
1 hasActivity Activity
2 hasStartTime RepresentationOfGregorianDateAndUtcTime
3 hasEndTime RepresentationOfGregorianDateAndUtcTime
4 hasLocation SpatialLocation?
Axiom:
BeginningEndLocationOfActivity(x1, x2, x3, x4) <-> Activity(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & SpatialLocation(x4) & BeginningEndOfIndividual(x1, x2, x3) & LocationOfActivity(x1, x4) .