HourDuration - Sigma Knowledge base Browser

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	例小時 and TimeDuration
(instance HourDuration UnitOfDuration)	Merge.kif 7091-7091	例小時 and UnitOfDuration

appearance as argument number 2

(relatedInternalConcept Hour HourDuration)	Merge.kif 9342-9342	相關的內部概念 Hour and 小時
(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

等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 RealNumber and 小時
等於 FunctionQuantity and 測量部 RealNumber and RealNumber and 結速度單位

consequent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 1702-1708	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration))))	Geography.kif 3939-3945	等於 FunctionQuantity and 測量 RealNumber and 結速度單位等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 1.0 and 小時
(=> (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	例 Process and 山洪暴發 Process RealNumber 例 Process and 水運動原因 Process and Process 短暫相遇何時 Process and 何時 Process 持續時間何時 Process and 測量 RealNumber and 小時少於 RealNumber and 6.0
(=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration)))	Merge.kif 9346-9348	例 TimeInterval and Hour 持續時間 TimeInterval and 測量 1 and 小時
(=> (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	例 Physical and 大雨持有期間何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間何時 Physical 是測量 1 and 小時是測量 entity and 毫米的 per 比較多 entity and 10.0 比較多 50.0 and entity
(=> (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	例 Physical and 暴風雪持有期間何時 Physical and entity entity and entity 例 entity and GeographicArea Physical 是 located 在 entity 測量 entity and 結速度單位是 entity 的 surface 風速比較多 entity and 35.0 持續時間何時 Physical and 測量 entity and 小時比較多 entity and 3
(=> (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	例 Physical and Snowstorm 持有期間何時 Physical and entity entity and entity 例 entity and 下雪例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical snow 的下降 rate 在 entity 期間何時 entity 是測量 1 and 小時是測量 entity and 厘米的 per 比較多 entity and 5.0

statement

(diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration))	WMD.kif 1141-1141	炭疽病對於 %3 disease 孵化
(diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration))	WMD.kif 336-336	肉毒中毒對於 %3 disease 孵化
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7087-7089	等於測量 RealNumber and 一天長度 and 測量乘法 RealNumber and 24 and 小時
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7095-7097	等於測量 RealNumber and 小時 and 測量乘法 RealNumber and 60 and 分鐘

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: