=== Base Template !BeginningOfIndividual ===

[[br]]This is a template for stating start time of existence. 
[[br]]!BeginningOfIndividual(a, b) means that a is an individual and b is a point in time, and that a begins to exist at b. 
[[br]]
[[br]]Roles: 
[[br]]1 hasIndividual !PossibleIndividual 
[[br]]2 hasStartTime !RepresentationOfGregorianDateAndUtcTime 

Axiom: 
{{{
BeginningOfIndividual(x1, x2) <-> 
PossibleIndividual(x1) & 
RepresentationOfGregorianDateAndUtcTime(x2) & 
exists u(PointInTime(u) & BeginningTemplate(u, x1) & 
ClassOfRepresentationOfThingTemplate(x2, u)) . 
}}}