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 1103-1106
(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 1100-1101
(domain visibilityInMeteorology 1 Region)	Weather.kif 1108-1108	The number 1 argument of visibility in meteorology is an instance of region
(domain visibilityInMeteorology 2 TimePosition)	Weather.kif 1110-1110	The number 2 argument of visibility in meteorology is an instance of time position
(domain visibilityInMeteorology 3 LengthMeasure)	Weather.kif 1112-1112	The number 3 argument of visibility in meteorology is an instance of length measure
(instance visibilityInMeteorology TernaryPredicate)	Weather.kif 1114-1114	visibility in meteorology is an instance of ternary predicate
(subrelation visibilityInMeteorology measure)	Weather.kif 1116-1116	visibility in meteorology is a subrelation of measure

appearance as argument number 2

(format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3")	domainEnglishFormat.kif 1244-1244
(termFormat ChineseLanguage visibilityInMeteorology "气象学能见度")	Weather.kif 1120-1120	"气象学能见度" is the printable form of visibility in meteorology in ChineseLanguage
(termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology")	Weather.kif 1118-1118	"visibility in meteorology" is the printable form of visibility in meteorology in english language

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 962-973	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 992-1005	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 1137-1153	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 1155-1172	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 1122-1135	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 1044-1053

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: