SecondDuration - Sigma Knowledge base Browser

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	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2216-2233	If a function quantity is equal to Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and 120 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2321-2338	If a function quantity is equal to Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2286-2303	If a function quantity is equal to Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 24 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2251-2268	If a function quantity is equal to Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 36 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1903-1920	If a function quantity is equal to Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
( ! [V__SECOND] : ((s__instance(V__SECOND,s__Second) => (s__duration(V__SECOND,s__MeasureFn(n__1,s__SecondDuration)))) ) )	Merge.kif 9003-9005	If a time interval is an instance of second, then duration of the time interval is 1 second duration(s)

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

KB Term:			Term intersection

English Word: