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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HourDuration
HourDuration(hour duration)60_minutes, horary, hour, hr, sidereal_hour

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


s__documentation(s__HourDuration,s__ChineseLanguage,'"这是时间单位,1小时 = 60分钟。"')

chinese_format.kif 2580-2580
s__documentation(s__HourDuration,s__EnglishLanguage,'"Time unit. 1 hour = 60 minutes."')

Merge.kif 6885-6885
s__instance(s__HourDuration,s__TimeDuration)

s__instance(s__TimeDuration,s__Class)

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

s__instance(s__HourDuration,s__UnitOfDuration)

Merge.kif 6883-6883 Hour duration is an instance of UnitOfDuration

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


s__relatedInternalConcept(s__Hour,s__HourDuration)

Merge.kif 8979-8979 Hour is internally related to hour duration
s__termFormat(s__ChineseLanguage,s__HourDuration,'"小时"')

domainEnglishFormat.kif 28692-28692
s__termFormat(s__ChineseTraditionalLanguage,s__HourDuration,'"小時"')

domainEnglishFormat.kif 28691-28691
s__termFormat(s__EnglishLanguage,s__HourDuration,'"hour duration"')

domainEnglishFormat.kif 28690-28690

antecedent
-------------------------


( ! [V__SPEED,V__TIME,V__DISTANCE] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__TIME,s__RealNumber) &
         s__instance(V__DISTANCE,s__RealNumber))
       =>
       (((V__SPEED = s__SpeedFn(s__MeasureFn(V__DISTANCE,s__NauticalMile),s__MeasureFn(V__TIME,s__HourDuration)))
         =>
         ((V__SPEED = s__MeasureFn(s__DivisionFn(V__DISTANCE,V__TIME)
          ,s__KnotUnitOfSpeed))))))
)
)

Geography.kif 3774-3776

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


( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       ((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
             =>
             (V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
         &
         ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
         =>
         (V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)

Weather.kif 1701-1707 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
( ! [V__TIME2,V__TIME1] :
   (((s__instance(V__TIME2,s__Number) &
         s__instance(V__TIME2,s__TimePosition) &
         s__instance(V__TIME1,s__Number) &
         s__instance(V__TIME1,s__TimePosition))
       =>
       (((s__RelativeTimeFn(V__TIME1,s__CentralTimeZone) = V__TIME2)
           =>
           ((V__TIME2 = s__AdditionFn(V__TIME1,s__MeasureFn(n__6,s__HourDuration)))))))
   )
)

Merge.kif 16524-16526
( ! [V__TIME2,V__TIME1] :
   (((s__instance(V__TIME2,s__Number) &
         s__instance(V__TIME2,s__TimePosition) &
         s__instance(V__TIME1,s__Number) &
         s__instance(V__TIME1,s__TimePosition))
       =>
       (((s__RelativeTimeFn(V__TIME1,s__EasternTimeZone) = V__TIME2)
           =>
           ((V__TIME2 = s__AdditionFn(V__TIME1,s__MeasureFn(n__5,s__HourDuration)))))))
   )
)

Merge.kif 16532-16534
( ! [V__TIME2,V__TIME1] :
   (((s__instance(V__TIME2,s__Number) &
         s__instance(V__TIME2,s__TimePosition) &
         s__instance(V__TIME1,s__Number) &
         s__instance(V__TIME1,s__TimePosition))
       =>
       (((s__RelativeTimeFn(V__TIME1,s__MountainTimeZone) = V__TIME2)
           =>
           ((V__TIME2 = s__AdditionFn(V__TIME1,s__MeasureFn(n__7,s__HourDuration)))))))
   )
)

Merge.kif 16516-16518
( ! [V__TIME2,V__TIME1] :
   (((s__instance(V__TIME2,s__Number) &
         s__instance(V__TIME2,s__TimePosition) &
         s__instance(V__TIME1,s__Number) &
         s__instance(V__TIME1,s__TimePosition))
       =>
       (((s__RelativeTimeFn(V__TIME1,s__PacificTimeZone) = V__TIME2)
           =>
           ((V__TIME2 = s__AdditionFn(V__TIME1,s__MeasureFn(n__8,s__HourDuration)))))))
   )
)

Merge.kif 16505-16510
( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__SPEED = s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
           =>
           ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__NauticalMile),s__MeasureFn(n__1,s__HourDuration)))))))
   )
)

Geography.kif 3778-3780
( ! [V__FLOOD] :
   ((s__instance(V__FLOOD,s__FlashFlooding) =>
       (( ? [V__WATER, V__HOUR] :
           ((s__instance(V__HOUR,s__RealNumber) &
               (s__instance(V__WATER,s__WaterMotion) &
                 s__causes(V__WATER,V__FLOOD)
               &
               s__meetsTemporally(s__WhenFn(V__WATER)
            ,s__WhenFn(V__FLOOD))
         &
         s__duration(s__WhenFn(V__WATER)
      ,s__MeasureFn(V__HOUR,s__HourDuration))
     &
     s__lessThan(V__HOUR,n__6)))))))
)
)

Weather.kif 1629-1641
( ! [V__HOUR] :
   ((s__instance(V__HOUR,s__Hour) =>
       (s__duration(V__HOUR,s__MeasureFn(n__1,s__HourDuration))))
   )
)

Merge.kif 8983-8985
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2620-2633
No TPTP formula. May not be expressible in strict first order. Weather.kif 2933-2948

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


s__diseaseIncubation(s__Anthrax,s__MeasureFn(n__1,s__HourDuration),s__MeasureFn(n__2,s__HourDuration))

WMD.kif 1127-1127 Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s)
s__diseaseIncubation(s__Botulism,s__MeasureFn(n__2,s__HourDuration),s__MeasureFn(n__8,s__DayDuration))

WMD.kif 336-336 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__DayDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__24)
        ,s__HourDuration))))
   )
)

Merge.kif 6879-6881 A real number day duration(s) is equal to the real number and 24 hour duration(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__HourDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__60)
        ,s__MinuteDuration))))
   )
)

Merge.kif 6887-6889 A real number hour duration(s) is equal to the real number and 60 minute 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