visibilityInMeteorology - Sigma Knowledge base Browser

appearance as argument number 1

(documentation visibilityInMeteorology ChineseLanguage "visibilityInMeteorology 是一个 TernaryPredicate。它是一个 lengthMeasure，用来形容一个 agent 能看见最远 Horizontal distance：在 1. DayTime 是黑色物体；或是在 2. NightTime 是 1,000 Candelas 的 RadiatingVisibleLight。DayTime 的能见度可以用气象光学范围(MOR)来代表。")	Weather.kif 1200-1203
(documentation visibilityInMeteorology EnglishLanguage "visibilityInMeteorology is a TernaryPredicate. It is a lengthMeasure that describes the greatest Horizontal distance an agent can observe 1. a black object during DayTime; or 2. RadiatingVisibleLight of 1,000 Candelas during NightTime. Visibility during DayTime can also be called the meteorological optical range (MOR)")	Weather.kif 1197-1198
(domain visibilityInMeteorology 1 Region)	Weather.kif 1205-1205	The number 1 argument of visibility in meteorology is an instance of region
(domain visibilityInMeteorology 2 TimePosition)	Weather.kif 1207-1207	The number 2 argument of visibility in meteorology is an instance of time position
(domain visibilityInMeteorology 3 LengthMeasure)	Weather.kif 1209-1209	The number 3 argument of visibility in meteorology is an instance of length measure
(instance visibilityInMeteorology TernaryPredicate)	Weather.kif 1211-1211	visibility in meteorology is an instance of ternary predicate
(subrelation visibilityInMeteorology measure)	Weather.kif 1213-1213	visibility in meteorology is a subrelation of measure

appearance as argument number 2

(format ChineseLanguage visibilityInMeteorology "visibility 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4939-4939
(format ChineseTraditionalLanguage visibilityInMeteorology "visibility 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4938-4938
(format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3")	domainEnglishFormat.kif 4937-4937
(termFormat ChineseLanguage visibilityInMeteorology "气象学能见度")	Weather.kif 1217-1217
(termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology")	Weather.kif 1215-1215

antecedent

(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA AtmosphericRegion) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000))	Weather.kif 1059-1070	If a process is an instance of fog and the process is located at 2 and a region is an instance of atmospheric region and an object is an instance of aerosal and the object located at time the time of existence of the process for the region and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA AtmosphericRegion) (instance ?PARTICULATE ParticulateMatter) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2) (lessThan ?VISIBILITY 5)))	Weather.kif 1089-1102	If a process is an instance of atmospheric hazing and the process is located at 2 and a region is an instance of atmospheric region and an object is an instance of PM and the object located at time the time of existence of the process for the region and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2 and the real number is less than 5
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2)))	Weather.kif 1234-1250	If the visibility at a region during a time interval is a length measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2)))	Weather.kif 1252-1269	If the visibility at a region during a time interval is a length measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
(=> (visibilityInMeteorology ?Area ?Time ?Distance) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B ?D2) (greaterThan ?D2 ?Distance)))))	Weather.kif 1219-1232	If the visibility at a region during a time interval is a length measure, then there don't exist a process, an agent,, , an object and another length measure such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at 2 and the distance between the agent and the object is the other length measure and the other length measure is greater than the length measure

consequent

(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400))))

Weather.kif 1141-1150

If a process is an instance of blizzard,
then there exist a region and a real number such that the region is an instance of geographic area and the process is located at 2 and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400

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: