Base Template BeginningOfTemporalPart


This template is for stating that an individual is a temporal part of another, initiated at a time represented by a timestamp data value.

BeginningOfTemporalPart(a, b, c) means that a is an individual and b is an individual and c is a point in time, that a is a temporal part of b, and that a begins to exist at c.

Roles:
1 hasPart PossibleIndividual
2 hasWhole PossibleIndividual
3 hasStartTime RepresentationOfGregorianDateAndUtcTime

Axiom:

BeginningOfTemporalPart(x1, x2, x3) <-> 
PossibleIndividual(x1) & 
PossibleIndividual(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
TemporalWholePartTemplate(x1, x2) & 
BeginningOfIndividual(x1, x3) . 
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