SecondDuration Comparison Table

Next SystemeInternationalUnit: Siemens Up: SystemeInternationalUnit, TimeDuration Previous SystemeInternationalUnit: Radian

SecondDuration comparison table

Subject is an instance of documentation is a kind of be first domain of be second domain of have axiom

SystemeInternationalUnit The Class of Systeme International (SI) units UnitOfMeasure SubtractionFn MeasureFn
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))

TimeDuration Any measure of length of time, with or without respect to the universal timeline TimeMeasure MagnitudeFn frequency
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))

SecondDuration TimeDuration 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 atom CoulombFn frequency
(equal
(MeasureFn ?NUMBER PicoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))

Subject	is an instance of	documentation	is a kind of	be first domain of	be second domain of	have axiom
SystemeInternationalUnit		The Class of Systeme International (SI) units	UnitOfMeasure	SubtractionFn	MeasureFn	(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
TimeDuration		Any measure of length of time, with or without respect to the universal timeline	TimeMeasure	MagnitudeFn	frequency	(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))
SecondDuration	TimeDuration	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 atom		CoulombFn	frequency	(equal (MeasureFn ?NUMBER PicoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))

Next SystemeInternationalUnit: Siemens Up: SystemeInternationalUnit, TimeDuration Previous SystemeInternationalUnit: Radian