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)) . 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search