![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation SecondDuration ChineseLanguage "UnitOfDuration 的国际单位制。符号:s。这是 国际单位制中的一个基本单位,而它现在的定义如下:SecondDuration 是銫133原子基態的兩個超精細能階間躍遷 對應輻射的9,192,631,770個週期的持續時間。") | chinese_format.kif 2494-2496 | |
(documentation SecondDuration EnglishLanguage "SI UnitOfDuration. 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.") | Merge.kif 6616-6620 | |
(instance SecondDuration SystemeInternationalUnit) | Merge.kif 6614-6614 | Second duration is an instance of systeme international unit |
(instance SecondDuration TimeDuration) | Merge.kif 6613-6613 | Second duration is an instance of time duration |
(instance SecondDuration UnitOfDuration) | Merge.kif 6612-6612 | Second duration is an instance of UnitOfDuration |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Second SecondDuration) | Merge.kif 9259-9259 | Second is internally related to second duration |
(termFormat ChineseLanguage SecondDuration "第二期") | domainEnglishFormat.kif 51790-51790 | |
(termFormat ChineseTraditionalLanguage SecondDuration "第二期") | domainEnglishFormat.kif 51789-51789 | |
(termFormat EnglishLanguage SecondDuration "second duration") | domainEnglishFormat.kif 51788-51788 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7007-7009 | A real number minute duration(s) is equal to the real number and 60 second duration(s) |
![]() |
![]() |