ClockTime¶
A description of a time within a single day (hours, minutes, seconds, etc.), recurring daily. Date components (year, month, day) must not be present.
EXAMPLE: 08:30:00 EDT
Diagram¶
Formalization for ClockTime¶
| Property | Constraint |
|---|---|
| time:day | max 0 |
| time:dayOfWeek | max 0 |
| time:dayOfYear | max 0 |
| time:hour | exactly 1 |
| time:minute | max 1 |
| time:month | max 0 |
| time:monthOfYear | max 0 |
| time:second | max 1 |
| time:timeZone | max 1 |
| time:unitType | some time:UnitOfTime |
| time:unitType | max 1 |
| time:week | max 0 |
| time:year | max 0 |
| subClassOf | TimeOfDay |
| subClassOf | time:GeneralDateTimeDescription |
Other annotations¶
| Property | Value |
|---|---|
| its-core:reqviewId | its-time-7 |