SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration > SecondDuration
Next SystemeInternationalUnit: Siemens    Up: SystemeInternationalUnit, TimeDuration    Previous SystemeInternationalUnit: Radian   

SecondDuration
subjectfact 
SecondDurationdocumentation SI TimeDuration. Symbol: s. It is one of the base units in SI, and it is currently defined as follows: the SecondDuration is the duration of 9192631770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom2001-11-30 13:35:13.0
has axiom 
(=>
    (instance ?SECOND Second)
    (duration ?SECOND SecondDuration))
2001-11-30 13:35:13.0
has axiom 
(equal
         (MeasureFn ?NUMBER MinuteDuration)
         (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))
2001-11-30 13:35:13.0
has axiom 
(equal
 	(MeasureFn ?NUMBER PicoSecond)
 	(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))
2001-11-30 13:35:13.0
is first domain of CoulombFn2001-11-30 13:35:13.0
is an instance of SystemeInternationalUnit2001-11-30 13:35:13.0
is an instance of TimeDuration2001-11-30 13:35:13.0
TimeDurationis second domain of age2001-11-30 13:35:26.0
is second domain of duration2001-11-30 13:35:26.0
is second domain of frequency2001-11-30 13:35:26.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0