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 的 RadiatingVisibleLight。DayTime 的能见度可以用气象光学范围(MOR)来代表。") Weather.kif 2680-2683
(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 2675-2679
(domain visibilityInMeteorology 1 Region) Weather.kif 2684-2684
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 2685-2685
(domain visibilityInMeteorology 3 LengthMeasure) Weather.kif 2686-2686
(instance visibilityInMeteorology TernaryPredicate) Weather.kif 2687-2687

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


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

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 2519-2532
(=>
    (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 2548-2562
(=>
    (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 2710-2730
(=>
    (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 2732-2753
(=>
    (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 2691-2708

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 2624-2633


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