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
-------------------------


(documentation HourDuration ChineseLanguage "这是时间单位,1小时 = 60分钟。") chinese_format.kif 2580-2580
(documentation HourDuration EnglishLanguage "Time unit. 1 hour = 60 minutes.") Merge.kif 6806-6806
(instance HourDuration TimeDuration) Merge.kif 6805-6805 Hour duration is an instance of time duration
(instance HourDuration UnitOfDuration) Merge.kif 6804-6804 Hour duration is an instance of UnitOfDuration

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


(relatedInternalConcept Hour HourDuration) Merge.kif 8800-8800 Hour is internally related to hour duration
(termFormat ChineseLanguage HourDuration "小时") domainEnglishFormat.kif 28633-28633
(termFormat ChineseTraditionalLanguage HourDuration "小時") domainEnglishFormat.kif 28632-28632
(termFormat EnglishLanguage HourDuration "hour duration") domainEnglishFormat.kif 28631-28631

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


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

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


(=>
    (equal
        (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 6 HourDuration))))
Merge.kif 16044-16046
(=>
    (equal
        (RelativeTimeFn ?TIME1 EasternTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 5 HourDuration))))
Merge.kif 16052-16054
(=>
    (equal
        (RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 7 HourDuration))))
Merge.kif 16036-16038
(=>
    (equal
        (RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2)
    (equal ?TIME2
        (AdditionFn ?TIME1
            (MeasureFn 8 HourDuration))))
Merge.kif 16025-16030
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1 HourDuration))))
Geography.kif 3735-3737
(=>
    (instance ?FLOOD FlashFlooding)
    (exists (?WATER ?HOUR)
        (and
            (instance ?WATER WaterMotion)
            (causes ?WATER ?FLOOD)
            (meetsTemporally
                (WhenFn ?WATER)
                (WhenFn ?FLOOD))
            (duration
                (WhenFn ?WATER) ?HOUR)
            (lessThan ?HOUR
                (MeasureFn 6 HourDuration)))))
Weather.kif 1220-1232
(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 8804-8806
(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA)
            (and
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                    (PerFn
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10)
                (greaterThan 50 ?NUM)))))
Weather.kif 720-734
(=>
    (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)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 1494-1507
(=>
    (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)))))
Weather.kif 1795-1810

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


(diseaseIncubation Anthrax
    (MeasureFn 1 HourDuration)
    (MeasureFn 2 HourDuration))
WMD.kif 1060-1060 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 6800-6802 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 6808-6810 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