Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aerosal
Aerosal

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

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 1059-1070

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners