|
|
   Aerosal
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Aerosal EnglishLanguage "Aerosal 是一种悬浮在空中，由微小的 Solid 颗粒或 Liquid Droplet 组成 的 Colloid。") | Geography.kif 7253-7254 | |
| (documentation Aerosal EnglishLanguage "An Aerosal is a Colloid of fine Solid particles or Liquid Droplets in air.") | Geography.kif 7250-7251 | |
| (subclass Aerosal Colloid) | Geography.kif 7259-7259 | Aerosal is a subclass of colloid |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Aerosal "气溶胶") | Geography.kif 7257-7257 | |
| (termFormat EnglishLanguage Aerosal "aerosal") | Geography.kif 7256-7256 |
| 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 2536-2549 |
|
| 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 7261-7270 |
|
|
|
|