TreeView 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 7118-7118
(documentation HourDuration JapaneseLanguage "時間単位。1時間 = 60分。")	japanese_format.kif 1287-1287
(instance HourDuration TimeDuration)	Merge.kif 7117-7117	Hour duration is an instance of time duration
(instance HourDuration UnitOfDuration)	Merge.kif 7116-7116	Hour duration is an instance of unit of duration

appearance as argument number 2

(relatedInternalConcept Hour HourDuration)	Merge.kif 9478-9478	Hour is internally related to hour duration
(termFormat ChineseLanguage HourDuration "小时")	domainEnglishFormat.kif 28712-28712	Hour is internally related to hour duration
(termFormat ChineseTraditionalLanguage HourDuration "小時")	domainEnglishFormat.kif 28711-28711	Hour is internally related to hour duration
(termFormat EnglishLanguage HourDuration "hour duration")	domainEnglishFormat.kif 28710-28710	Hour is internally related to hour duration

antecedent

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

Geography.kif 4180-4188

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

consequent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 2426-2432	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and 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 4190-4196	If equal a function quantity and a real number knot unit of speed(s), then equal the function quantity and the real number nautical mile(s) per 1.0 hour duration(s)
(=> (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 2354-2366	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
(=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration)))	Merge.kif 9482-9484	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 ?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 1344-1358	If a physical is an instance of heavy raining, then there exist an entity and another entity such that the entity is an instance of region and the physical is located at the entity and the rate of rain in the entity during the time of existence of the physical is the per of the other entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10.0 and 50.0 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.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3)))))	Weather.kif 3351-3364	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 the entity 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.0 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.0)))))	Weather.kif 3665-3680	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 the other entity 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.0 holds during the time of existence of the physical

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 7112-7114	equal a real number day duration(s) and the real number and 24 hour duration(s)
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7120-7122	equal a real number hour duration(s) and 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

KB Term:			Term intersection

English Word: