Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - visibilityInMeteorology
visibilityInMeteorology

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


(documentation visibilityInMeteorology ChineseLanguage "visibilityInMeteorology 是一个 TernaryPredicate。(visibilityInMeteorology ?R ?T ?L)的意思是在?T 某时某地 ?R,?L 是一个 agent 能看见最远 Horizontal distance:在 1. DayTime 是黑色物体;或是在 2. NightTime 是 1,000 Candelas 的 RadiatingVisibleLightDayTime 的能见度可以用气象光学范围(MOR)来代表。") Weather.kif 2283-2286
(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 2278-2282
(domain visibilityInMeteorology 1 Region) Weather.kif 2287-2287
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 2288-2288
(domain visibilityInMeteorology 3 LengthMeasure) Weather.kif 2289-2289
(instance visibilityInMeteorology TernaryPredicate) Weather.kif 2290-2290

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


(format ChineseLanguage visibilityInMeteorology "visibility 在 %1 期间 %2 是 %3 ") domainEnglishFormat.kif 4943-4943
(format ChineseTraditionalLanguage visibilityInMeteorology "visibility 在 %1 期間 %2 是 %3 ") domainEnglishFormat.kif 4942-4942
(format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3") domainEnglishFormat.kif 4941-4941
(termFormat ChineseLanguage visibilityInMeteorology "气象学能见度") Weather.kif 2292-2292
(termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology") Weather.kif 2291-2291

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 2151-2162
(=>
    (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 2178-2191
(=>
    (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 2309-2325
(=>
    (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 2327-2344
(=>
    (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 2294-2307

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 2227-2236


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 is open source software produced by Articulate Software and its partners