Aerosal - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Aerosal "气溶胶")	Geography.kif 7609-7609
(termFormat EnglishLanguage Aerosal "aerosal")	Geography.kif 7608-7608

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

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 7613-7622