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 2698-2701
(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 2693-2697
(domain visibilityInMeteorology 1 Region) Weather.kif 2702-2702 The number 1 argument of visibility in meteorology is an instance of region
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 2703-2703 The number 2 argument of visibility in meteorology is an instance of time position
(domain visibilityInMeteorology 3 LengthMeasure) Weather.kif 2704-2704 The number 3 argument of visibility in meteorology is an instance of length measure
(instance visibilityInMeteorology TernaryPredicate) Weather.kif 2705-2705 visibility in meteorology is an instance of ternary predicate

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


(format ChineseLanguage visibilityInMeteorology "visibility 在 %1 期间 %2 是 %3 ") domainEnglishFormat.kif 4934-4934
(format ChineseTraditionalLanguage visibilityInMeteorology "visibility 在 %1 期間 %2 是 %3 ") domainEnglishFormat.kif 4933-4933
(format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3") domainEnglishFormat.kif 4932-4932
(termFormat ChineseLanguage visibilityInMeteorology "气象学能见度") Weather.kif 2707-2707
(termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology") Weather.kif 2706-2706

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 2537-2550
(=>
    (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 2566-2580
(=>
    (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 2728-2748
(=>
    (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 2750-2771
(=>
    (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 2709-2726

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 2642-2651


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