Aerosal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Aerosal EnglishLanguage "Aerosal 是一种悬浮在空中，由微小的 Solid 颗粒或 Liquid Droplet 组成的 Colloid。")	Geography.kif 6903-6904
(documentation Aerosal EnglishLanguage "An Aerosal is a Colloid of fine Solid particles or Liquid Droplets in air.")	Geography.kif 6900-6901
(subclass Aerosal Colloid)	Geography.kif 6909-6909	Aerosal is a subclass of colloid

appearance as argument number 2

(termFormat ChineseLanguage Aerosal "气溶胶")	Geography.kif 6907-6907
(termFormat EnglishLanguage Aerosal "aerosal")	Geography.kif 6906-6906

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 1276-1287

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 6911-6920