Base Template TimeRepresentation


This is a template for stating the coordinates of points in time.

PointInTime(a, b, c, d, e, f, g) means that a is a representation of a point in time, b, c, d, e, and f are integer numbers, and g a real number, and that the coordinates of a are given by b representing the year, c the month, d the day, e the hour, f the minute, and g the second of a.

Roles:
1 hasTime RepresentationOfGregorianDateAndUtcTime
2 valYear INTEGER
3 valMonth INTEGER
4 valDay INTEGER
5 valHour INTEGER
6 valMinute INTEGER
7 valSecond REAL

Axiom:

TimeRepresentation(x1, x2, x3, x4, x5, x6, x7) <-> 
RepresentationOfGregorianDateAndUtcTime(x1) & 
INTEGER(x2) & 
INTEGER(x3) & 
INTEGER(x4) & 
INTEGER(x5) & 
INTEGER(x6) & 
REAL(x7) & 
hasYear(x1, x2) & 
hasMonth(x1, x3) & 
hasDay(x1, x4) & 
hasHour(x1, x5) & 
hasMinute(x1, x6) & 
hasSecond(x1, x7) .

NOTE This template provides a pattern for defining points in time. While the entity type RepresentationOfGregorianDateAndUtcTime has all attributes except hasYear optional, none are optional in the template.

Home
About PCA
Reference Data Services
Projects
Workgroups