Navigation

IfcSecondInMinute

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

Type: REAL

HISTORY This entity has changes after 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.

References (1):

Name Type Referred through Express-G
IfcLocalTime Entity
Attribute 'SecondComponent'
Diagram 1