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 6761-6761
(instance HourDuration UnitOfDuration)	Merge.kif 6759-6759	Hour duration is an instance of UnitOfDuration

appearance as argument number 2

(relatedInternalConcept Hour HourDuration)	Merge.kif 8751-8751	Hour is internally related to hour duration
(termFormat ChineseLanguage HourDuration "小时")	domainEnglishFormat.kif 28603-28603
(termFormat ChineseTraditionalLanguage HourDuration "小時")	domainEnglishFormat.kif 28602-28602
(termFormat EnglishLanguage HourDuration "hour duration")	domainEnglishFormat.kif 28601-28601

antecedent

(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))

Geography.kif 3731-3733

If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s),
then the function quantity is equal to the real number and the other real number knot unit of speed(s)

consequent

(=> (equal (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 6 HourDuration))))	Merge.kif 15980-15982	If the time a time position in zone central time zone is equal to another time position, then the other time position is equal to (the time position and 6 hour duration(s))
(=> (equal (RelativeTimeFn ?TIME1 EasternTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 5 HourDuration))))	Merge.kif 15988-15990	If the time a time position in zone eastern time zone is equal to another time position, then the other time position is equal to (the time position and 5 hour duration(s))
(=> (equal (RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 7 HourDuration))))	Merge.kif 15972-15974	If the time a time position in zone mountain time zone is equal to another time position, then the other time position is equal to (the time position and 7 hour duration(s))
(=> (equal (RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 8 HourDuration))))	Merge.kif 15964-15966	If the time a time position in zone pacific time zone is equal to another time position, then the other time position is equal to (the time position and 8 hour duration(s))
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1 HourDuration))))	Geography.kif 3735-3737	If a function quantity is equal to a real number knot unit of speed(s), then the function quantity is equal to the real number nautical mile(s) per 1 hour duration(s)
(=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration)))	Merge.kif 8755-8757	If a time interval is an instance of hour, then duration of the time interval is 1 hour duration(s)
(=> (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	If a physical is an instance of heavy raining, then there exists an entity such that the entity is an instance of region and the physical is located at 2 and the rate of rain in the entity during the time of existence of the physical is the per of another entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10 and 50 is greater than the other entity holds during the time of existence of the physical
(=> (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 1126-1139	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at 2 and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
(=> (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 1471-1486	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at 2 and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5 holds during the time of existence of the physical

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 6755-6757	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 6763-6765	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: