TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage Aerosal "aerosal")	Geography.kif 9141-9141
(termFormat ChineseLanguage Aerosal "气溶胶")	Geography.kif 9142-9142

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

consequent

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

If X is an instance of colloid, Y is a part of X, solid is an attribute of Y or liquid is an attribute of Y, Z is an instance of air, and Z is a part of X, then X is an instance of aerosal

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