Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  visibilityInMeteorology

 Sigma KEE - visibilityInMeteorology
visibilityInMeteorology

appearance as argument number 1
-------------------------


(documentation visibilityInMeteorology EnglishLanguage "visibilityInMeteorology is a TernaryPredicate. (visibilityInMeteorology ?R ?T ?L) means that for ?R a region over?T a period of Time, ?L is 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 3960-3964
(documentation visibilityInMeteorology ChineseLanguage "visibilityInMeteorology 是一个 TernaryPredicate。(visibilityInMeteorology ?R ?T ?L)的意思是在?T 某时某地 ?R，?L 是一个 agent 能看见最远 Horizontal distance：在 1. DayTime 是黑色物体；或是在 2. NightTime 是 1,000 Candelas 的 RadiatingVisibleLight。DayTime 的能见度可以用气象光学范围(MOR)来代表。") Weather.kif 3965-3968
(domain visibilityInMeteorology 1 Region) Weather.kif 3969-3969 The number 1 argument of visibility in meteorology is an instance of region
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 3970-3970 The number 2 argument of visibility in meteorology is an instance of time position
(domain visibilityInMeteorology 3 LengthMeasure) Weather.kif 3971-3971 The number 3 argument of visibility in meteorology is an instance of length measure
(instance visibilityInMeteorology TernaryPredicate) Weather.kif 3972-3972 visibility in meteorology is an instance of ternary predicate

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


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

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


(=>
    (and
        (instance ?FOG Fogging)
        (eventLocated ?FOG ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (instance ?A Aerosal)
        (locatedAtTime ?A
            (WhenFn ?FOG) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?FOG)
            (MeasureFn ?VISIBILITY Meter)))
    (lessThan ?VISIBILITY 1000.0))		 Weather.kif 3804-3817 If All of the following hold: (1) X is an instance of fog (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W is an instance of aerosal (7) W located at time the time of existence of X for Z (8) the visibility at Y during the time of existence of X is V meter(s), then V is less than 1000.0
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))		 Weather.kif 3833-3847 If All of the following hold: (1) X is an instance of atmospheric hazing (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W located at time the time of existence of X for Z (7) the visibility at Y during the time of existence of X is V kilometer(s), then V is greater than 2.0 and V is less than 5.0
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure))
    (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
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?Distance)))))		 Weather.kif 3976-3993 If the visibility at X during Y is Z W(s) and W is an instance of unit of measure, then there don't exist V, U,, , T and S such that V is an instance of looking and U is an agent of V and T is a patient of V and U is horizontal to to T and the time of existence of V takes place during Y and V is located at X and the distance between U and T is S W(s) and S is greater than Z
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (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))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 3995-4015 If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 4017-4038 If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of night time (4) V is an instance of looking (5) U is an instance of region (6) illuminated is an attribute of U (7) the measure of U is 1000.0 candela(s) (8) T is an agent of V (9) U is a patient of V (10) T is horizontal to to U (11) V is located at X (12) the time of existence of V takes place during Y (13) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S

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


(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400.0))))		 Weather.kif 3909-3918 If X is an instance of blizzard, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and the visibility at Y during the time of existence of X is Z meter(s) and Z is less than 400.0


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners