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。它是一个 lengthMeasure,用来形容一个 agent 能看见最远 Horizontal distance:在 1. DayTime 是黑色物体;或是在 2. NightTime 是 1,000 Candelas 的 RadiatingVisibleLightDayTime 的能见度可以用气象光学范围(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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

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


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