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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HourDuration

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

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


(documentation HourDuration ChineseLanguage "这是时间单位,1小时 = 60分钟。") chinese_format.kif 2580-2580
(documentation HourDuration EnglishLanguage "Time unit. 1 hour = 60 minutes.") Merge.kif 7093-7093
(documentation HourDuration JapaneseLanguage "時間単位。1時間 = 60分。") japanese_format.kif 1287-1287
(instance HourDuration TimeDuration) Merge.kif 7092-7092 Hour duration is an instance of time duration
(instance HourDuration UnitOfDuration) Merge.kif 7091-7091 Hour duration is an instance of unit of duration

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


(relatedInternalConcept Hour HourDuration) Merge.kif 9342-9342 Hour is internally related to hour duration
(termFormat ChineseLanguage HourDuration "小时") domainEnglishFormat.kif 28701-28701
(termFormat ChineseTraditionalLanguage HourDuration "小時") domainEnglishFormat.kif 28700-28700
(termFormat EnglishLanguage HourDuration "hour duration") domainEnglishFormat.kif 28699-28699

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


(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))
Geography.kif 3929-3937

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


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 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)
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1.0 HourDuration))))
Geography.kif 3939-3945
(=>
    (instance ?FLOOD FlashFlooding)
    (exists (?WATER ?HOUR)
        (and
            (instance ?WATER WaterMotion)
            (causes ?WATER ?FLOOD)
            (meetsTemporally
                (WhenFn ?WATER)
                (WhenFn ?FLOOD))
            (duration
                (WhenFn ?WATER)
                (MeasureFn ?HOUR HourDuration))
            (lessThan ?HOUR 6.0))))
Weather.kif 1630-1642
(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 9346-9348
(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA ?NUM)
            (and
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                    (PerFn
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10.0)
                (greaterThan 50.0 ?NUM)))))
Weather.kif 1109-1123
(=>
    (instance ?PROCESS Blizzard)
    (holdsDuring
        (WhenFn ?PROCESS)
        (exists (?AREA ?GALE ?DURATION)
            (and
                (instance ?AREA GeographicArea)
                (eventLocated ?PROCESS ?AREA)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?GALE KnotUnitOfSpeed))
                (greaterThan ?GALE 35.0)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2627-2640
(=>
    (instance ?SNOWSTORM Snowstorm)
    (holdsDuring
        (WhenFn ?SNOWSTORM)
        (exists (?SNOW ?AREA ?NUM)
            (and
                (instance ?SNOW Snowing)
                (instance ?AREA GeographicArea)
                (eventLocated ?SNOW ?AREA)
                (subProcess ?SNOW ?SNOWSTORM)
                (snowfallIntensity ?AREA
                    (WhenFn ?SNOW)
                    (PerFn
                        (MeasureFn ?NUM Centimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 5.0)))))
Weather.kif 2940-2955

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


(diseaseIncubation Anthrax
    (MeasureFn 1 HourDuration)
    (MeasureFn 2 HourDuration))
WMD.kif 1141-1141 Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s)
(diseaseIncubation Botulism
    (MeasureFn 2 HourDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 336-336 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 7087-7089 A real number day duration(s) is equal to the real number and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 7095-7097 A real number hour duration(s) is equal to the real number and 60 minute duration(s)


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

Show without tree


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