Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecondDuration
SecondDuration(second duration)leap_second, s, sec, second

appearance as argument number 1
-------------------------


s__documentation(s__SecondDuration,s__ChineseLanguage,'"UnitOfDuration 的国际单位制。符号:s。这是 国际单位制中的一个基本单位,而它现在的定义如下:SecondDuration 是銫133原子基態的兩個超精細能階間躍遷 對應輻射的9,192,631,770個週期的持續時間。"')

chinese_format.kif 2494-2496
s__documentation(s__SecondDuration,s__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 6504-6508
s__instance(s__SecondDuration,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__Class)

Merge.kif 6502-6502 Second duration is an instance of systeme international unit
s__instance(s__SecondDuration,s__TimeDuration)

s__instance(s__TimeDuration,s__Class)

Merge.kif 6501-6501 Second duration is an instance of time duration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__SecondDuration,s__UnitOfDuration)

Merge.kif 6500-6500 Second duration is an instance of UnitOfDuration

appearance as argument number 2
-------------------------


s__relatedInternalConcept(s__Second,s__SecondDuration)

Merge.kif 8998-8998 Second is internally related to second duration
s__termFormat(s__ChineseLanguage,s__SecondDuration,'"第二期"')

domainEnglishFormat.kif 51790-51790
s__termFormat(s__ChineseTraditionalLanguage,s__SecondDuration,'"第二期"')

domainEnglishFormat.kif 51789-51789
s__termFormat(s__EnglishLanguage,s__SecondDuration,'"second duration"')

domainEnglishFormat.kif 51788-51788

consequent
-------------------------


( ! [V__SPEED,V__TIME,V__PLACE,V__SPEEDLIST] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__SPEEDLIST,s__List))
       =>
       ((((V__SPEEDLIST = s__Mean3SecondWindSpeedListFn(V__PLACE,V__TIME))
           &
           s__inList(V__SPEED,V__SPEEDLIST))
       =>
       (( ? [V__TIMELIST, V__INT] :
           ((s__instance(V__TIMELIST,s__ConsecutiveTimeIntervalList) &
               s__instance(V__INT,s__TimeInterval) &
               ((V__TIMELIST = s__TimeIntervalListFn(V__TIME,s__MeasureFn(n__3,s__SecondDuration)))
               &
               s__inList(V__INT,V__TIMELIST)
             &
             (V__SPEED = s__Mean3SecondWindSpeedFn(V__PLACE,V__INT))))))))))
)
)

Weather.kif 1998-2010
No TPTP formula. May not be expressible in strict first order. Weather.kif 2216-2233
No TPTP formula. May not be expressible in strict first order. Weather.kif 2321-2338
No TPTP formula. May not be expressible in strict first order. Weather.kif 2286-2303
No TPTP formula. May not be expressible in strict first order. Weather.kif 2251-2268
No TPTP formula. May not be expressible in strict first order. Weather.kif 1903-1920
( ! [V__SECOND] :
   ((s__instance(V__SECOND,s__Second) =>
       (s__duration(V__SECOND,s__MeasureFn(n__1,s__SecondDuration))))
   )
)

Merge.kif 9003-9005

statement
-------------------------


( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__MinuteDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__60)
        ,s__SecondDuration))))
   )
)

Merge.kif 6895-6897 A real number minute duration(s) is equal to the real number and 60 second duration(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners