IfcSecondInMinute

Definition from ISO/CD 10303-41:1992: The second element of a specified time.

Type: REAL

> NOTE Corresponding STEP name: second_in_minute, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

> HISTORY New type in IFC Release 1.5.1.

EXPRESS specification:

TYPE IfcSecondInMinute = REAL;
WHERE
WR1 | : | { 0. <= SELF < 60. };
END_TYPE;

Formal Propositions:

WR1 | : | The value of the real number shall be between 0 to 59.