Base Template BeginningOfIndividual
This is a template for stating start time of existence.
BeginningOfIndividual(a, b) means that a is an individual and b is a point in time, and that a begins to exist at b.
Roles:
1 hasIndividual PossibleIndividual
2 hasStartTime RepresentationOfGregorianDateAndUtcTime
Axiom:
BeginningOfIndividual(x1, x2) <-> PossibleIndividual(x1) & RepresentationOfGregorianDateAndUtcTime(x2) & exists u(PointInTime(u) & BeginningTemplate(u, x1) & ClassOfRepresentationOfThingTemplate(x2, u)) .