Fogging - Sigma Knowledge base Browser

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))

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

(documentation Fogging EnglishLanguage "Fogging is Water droplets or Ice Crystal suspended in the EarthAtmosphere, causes visibilityInMeteorology to be reduced to less than 1,000 Meter.")	Weather.kif 3795-3797
(documentation Fogging ChineseLanguage "Fogging 是悬浮在 EarthAtmosphere 的 Water 小滴或 Ice Crystal，它 causes visibilityInMeteorology 下降至少于 1,000 Meter.")	Weather.kif 3798-3799
(subclass Fogging WeatherProcess)	Weather.kif 3800-3800	Fog is a subclass of weather process

(termFormat EnglishLanguage Fogging "fog")	Weather.kif 3801-3801
(termFormat ChineseLanguage Fogging "雾")	Weather.kif 3802-3802