Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance HourDuration UnitOfDuration) Merge.kif 7210-7210 Hour duration is an instance of unit of duration
(instance HourDuration TimeDuration) Merge.kif 7211-7211 Hour duration is an instance of time duration
(documentation HourDuration EnglishLanguage "Time unit. 1 hour = 60 minutes.") Merge.kif 7212-7212 Hour duration is an instance of time duration

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


(relatedInternalConcept Hour HourDuration) Merge.kif 9567-9567 Hour is internally related to hour duration
(range MTBFFn HourDuration) Mid-level-ontology.kif 34334-34334 The range of mean time between failures is an instance of hour duration
(termFormat EnglishLanguage HourDuration "hour duration") domainEnglishFormat.kif 28703-28703 The range of mean time between failures is an instance of hour duration
(termFormat ChineseTraditionalLanguage HourDuration "小時") domainEnglishFormat.kif 28704-28704 The range of mean time between failures is an instance of hour duration
(termFormat ChineseLanguage HourDuration "小时") domainEnglishFormat.kif 28705-28705 The range of mean time between failures is an instance of hour duration

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


(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTBFFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTBFInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34337-34348 If equal X hour duration(s) and The MTBF of Y, Z is an instance of Y, equal W hour duration(s) and The MTBF of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (equal
        (MeasureFn ?H HourDuration)
        (MTBFInstanceFn ?D))
    (equal ?H
        (DivisionFn
            (AdditionFn
                (ListSumFn
                    (PhysicalQuantityToNumberFn
                        (DeviceUpTimeDurationListFn ?D)))
                (ListSumFn
                    (PhysicalQuantityToNumberFn
                        (DevicePlannedDownTimeDurationListFn ?D))))
            (ListLengthFn
                (DeviceFailTimeDurationListFn ?D)))))		 Mid-level-ontology.kif 34359-34373 If equal X hour duration(s) and The MTBF of Y is HourDuration, then equal X and (the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is and the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is) and length of The List of deviceFailTime duration for Y is
(=>
    (and
        (instance ?D Device)
        (deviceUpTime ?D ?UP)
        (duration ?UP
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceUpTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34419-34427 If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (devicePlannedDownTime ?D ?PLAN)
        (duration ?PLAN
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DevicePlannedDownTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34438-34446 If X is an instance of device, device X is scheduled to be in DeviceOff during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (deviceFailTime ?D ?FAIL)
        (duration ?FAIL
            (MeasureFn ?X HourDuration))
        (attribute ?D Repairable)
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceFailTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34458-34467 If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (MTTFFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?Y HourDuration)
            (TimeToFailureFn ?D))
        (inList ?Y ?L))
    (equal ?X
        (AverageFn ?L)))		 Mid-level-ontology.kif 34563-34574 If equal X hour duration(s) and The MTTF of Y, Z is an instance of Y, equal W hour duration(s) and The time to failure of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (TimeToFailureFn ?D))
        (attribute ?D NonRepairable)
        (deviceFailTime ?D ?F)
        (deviceUpTime ?D ?U)
        (earlier ?U ?F))
    (duration
        (TimeIntervalFn
            (BeginFn ?U)
            (BeginFn ?F))
        (MeasureFn ?X HourDuration)))		 Mid-level-ontology.kif 34586-34599 If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s)
(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRepairFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRepairInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34613-34624 If equal X hour duration(s) and The MTTRepairFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRepairInstanceFn ?D))
    (attribute ?D Repairable))		 Mid-level-ontology.kif 34638-34642 If equal X hour duration(s) and The time to repair of Y is HourDuration, then repairable is an attribute of Y
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRepairInstanceFn ?D))
    (equal ?X
        (DivisionFn
            (ListSumFn
                (PhysicalQuantityToNumberFn
                    (DeviceFailTimeDurationListFn ?D)))
            (ListLengthFn
                (DeviceFailTimeDurationListFn ?D)))))		 Mid-level-ontology.kif 34644-34654 If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceFailTime duration for Y is, and length of The List of deviceFailTime duration for Y is
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (TimeToRecoveryFn ?D))
        (deviceFailTime ?D ?F)
        (deviceUpTime ?D ?U)
        (earlier ?F ?U))
    (duration
        (TimeIntervalFn
            (BeginFn ?F)
            (BeginFn ?U))
        (MeasureFn ?X HourDuration)))		 Mid-level-ontology.kif 34668-34680 If equal X hour duration(s) and The time to recovery of Y is HourDuration, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and Z happens earlier than W, then duration of interval between the beginning of Z and the beginning of W is X hour duration(s)
(=>
    (and
        (equal
            (MeasureFn ?H HourDuration)
            (MTTRecoveryFn ?CLASS))
        (instance ?D ?CLASS)
        (equal
            (MeasureFn ?X HourDuration)
            (MTTRecoveryInstanceFn ?D))
        (inList ?X ?L))
    (equal ?H
        (AverageFn ?L)))		 Mid-level-ontology.kif 34711-34722 If equal X hour duration(s) and The MTTRecoveryFn of Y, Z is an instance of Y, equal W hour duration(s) and The time to repair of Z is HourDuration, and W is a member of V, then equal X and the average of the numbers in V
(=>
    (equal
        (MeasureFn ?X HourDuration)
        (MTTRecoveryInstanceFn ?D))
    (equal ?X
        (DivisionFn
            (ListSumFn
                (PhysicalQuantityToNumberFn
                    (TimeToRecoveryDurationListFn ?D)))
            (ListLengthFn
                (TimeToRecoveryDurationListFn ?D)))))		 Mid-level-ontology.kif 34737-34747 If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The list of time to recovery duration for Y is, and length of The list of time to recovery duration for Y is
(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))		 Geography.kif 5464-5472 If equal X and Y nautical mile(s) per Z hour duration(s), then equal X and Y and Z knot unit of speed(s)

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))		 Merge.kif 9571-9573 If X is an instance of hour, then duration of X is 1 hour duration(s)
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Merge.kif 11532-11538 equal X and Y miles per hour(s) if and only if equal X and Y mile(s) per 1 hour duration(s)
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (TimeToFailureFn ?D))
        (attribute ?D NonRepairable)
        (deviceFailTime ?D ?F)
        (deviceUpTime ?D ?U)
        (earlier ?U ?F))
    (duration
        (TimeIntervalFn
            (BeginFn ?U)
            (BeginFn ?F))
        (MeasureFn ?X HourDuration)))		 Mid-level-ontology.kif 34586-34599 If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s)
(=>
    (and
        (equal
            (MeasureFn ?X HourDuration)
            (TimeToRecoveryFn ?D))
        (deviceFailTime ?D ?F)
        (deviceUpTime ?D ?U)
        (earlier ?F ?U))
    (duration
        (TimeIntervalFn
            (BeginFn ?F)
            (BeginFn ?U))
        (MeasureFn ?X HourDuration)))		 Mid-level-ontology.kif 34668-34680 If equal X hour duration(s) and The time to recovery of Y is HourDuration, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and Z happens earlier than W, then duration of interval between the beginning of Z and the beginning of W is X hour duration(s)
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1.0 HourDuration))))		 Geography.kif 5474-5480 If equal X and Y knot unit of speed(s), then equal X and Y nautical mile(s) per 1.0 hour duration(s)
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM KiloMeterPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Kilometer)
            (MeasureFn 1 HourDuration))))		 Transportation.kif 5207-5213 equal X and Y kilometer per hour(s) if and only if equal X and Y kilometer(s) per 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 1789-1803 If X is an instance of heavy raining, then there exist Y and Z such that Y is an instance of region and X is located at Y and the rate of rain in Y during the time of existence of X is the per of Z millimeter(s) and 1 hour duration(s) and Z is greater than 10.0 and 50.0 is greater than Z holds during the time of existence of X
(=>
    (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 2939-2951 If X is an instance of flash flooding, then there exist Y and Z such that Y is an instance of water motion and Y causes X and the time of existence of Y meets the time of existence of X and duration of the time of existence of Y is Z hour duration(s) and Z is less than 6.0
(=>
    (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 3894-3907 If X is an instance of blizzard, then there exist Y, Z and W such that Y is an instance of geographic area and X is located at Y and Z knot unit of speed(s) is a surface wind speed of Y and Z is greater than 35.0 and duration of the time of existence of X is W hour duration(s) and W is greater than 3 holds during the time of existence of X
(=>
    (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 4208-4223 If X is an instance of snow storm, then there exist Y, Z and W such that Y is an instance of snowing and Z is an instance of geographic area and Y is located at Z and Y is a subprocess of X and the rate of snow falling at Z during the time of existence of Y is the per of W centimeter(s) and 1 hour duration(s) and W is greater than 5.0 holds during the time of existence of X

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


(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7206-7208 equal X day duration(s) and X and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))		 Merge.kif 7214-7216 equal X hour duration(s) and X and 60 minute duration(s)
(diseaseIncubation Botulism
    (MeasureFn 2 HourDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 331-331 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
(diseaseIncubation Anthrax
    (MeasureFn 1 HourDuration)
    (MeasureFn 2 HourDuration))		 WMD.kif 1137-1137 Anthrax disease incubation 1 hour duration(s) for 2 hour 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners