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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Precipitation

Sigma KEE - Precipitation
Precipitation(precipitation)come_down, downfall, drizzle, fall, fine_spray, hail, mizzle, patter, pitter-patter, precipitate, precipitation, sheet, shower, shower_down, spatter, spit, sprinkle

appearance as argument number 1
-------------------------


(documentation Precipitation ChineseLanguage "Precipitation 是水分子以液体或结冰状态从天上掉到 地上的过程。") Merge.kif 11186-11187
(documentation Precipitation EnglishLanguage "Precipitation is the process of water molecules falling from the air to the ground, in either a liquid or frozen state.") Merge.kif 11183-11185
(subclass Precipitation Falling) Merge.kif 11182-11182 Precipitation is a subclass of falling
(subclass Precipitation WaterMotion) Merge.kif 11181-11181 Precipitation is a subclass of water motion
(subclass Precipitation WeatherProcess) Merge.kif 11180-11180 Precipitation is a subclass of weather process

appearance as argument number 2
-------------------------


(subclass FreezingRain Precipitation) Weather.kif 686-686 Freezing rain is a subclass of precipitation
(subclass Hailing Precipitation) Weather.kif 790-790 Hailing is a subclass of precipitation
(subclass Raining Precipitation) Weather.kif 655-655 Raining is a subclass of precipitation
(subclass Sleeting Precipitation) Weather.kif 764-764 Sleeting is a subclass of precipitation
(subclass Snowing Precipitation) Weather.kif 747-747 Snowing is a subclass of precipitation
(termFormat EnglishLanguage Precipitation "precipitation") domainEnglishFormat.kif 8274-8274 "precipitation" is the printable form of precipitation in english language

appearance as argument number 3
-------------------------


(domain precipitationAmount 1 Precipitation) Weather.kif 836-836 The number 1 argument of precipitation amount is an instance of precipitation
(domain precipitationRate 1 Precipitation) Weather.kif 826-826 The number 1 argument of precipitation rate is an instance of precipitation

antecedent
-------------------------


(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 11189-11194

consequent
-------------------------


(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (modalAttribute
            (exists (?P ?AREA)
                (and
                    (instance ?P Precipitation)
                    (instance ?AREA GeographicArea)
                    (eventLocated ?P ?AREA)
                    (subProcess ?P ?STORM))) Likely)))
Weather.kif 1323-1333
(=>
    (relativeHumidity ?PLACE 1)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 646-651


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

Show without tree


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