Aerosal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Aerosal EnglishLanguage "Aerosal 是一种悬浮在空中，由微小的 Solid 颗粒或 Liquid Droplet 组成的 Colloid。")	Geography.kif 7874-7875
(documentation Aerosal EnglishLanguage "An Aerosal is a Colloid of fine Solid particles or Liquid Droplets in air.")	Geography.kif 7871-7872
(subclass Aerosal Colloid)	Geography.kif 7880-7880	Aerosal is a subclass of colloid
(subclass Aerosal GasMixture)	Geography.kif 7879-7879	Aerosal is a subclass of gas mixture

appearance as argument number 2

(termFormat ChineseLanguage Aerosal "气溶胶")	Geography.kif 7878-7878
(termFormat EnglishLanguage Aerosal "aerosal")	Geography.kif 7877-7877

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 3261-3274

consequent

(=>
    (and
        (instance ?C Colloid)
        (part ?P ?C)
        (or
            (attribute ?P Solid)
            (attribute ?P Liquid))
        (instance ?AIR Air)
        (part ?AIR ?C))
    (instance ?C Aerosal))

Geography.kif 7882-7891