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

Formal Language: 



KB Term:  Term intersection
English Word: 

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, 沉淀, 沉澱

VerbNet: weather-57|precipitate, weather-57|mizzle, weather-57|precipitate, weather-57|mizzle, weather-57|sprinkle, weather-57|sprinkle, weather-57|precipitate, weather-57|shower, weather-57|shower, weather-57|sprinkle, weather-57|sprinkle, weather-57|sprinkle,


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


(documentation Precipitation ChineseLanguage "Precipitation 是水分子以液体或结冰状态从天上掉到 地上的过程。") chinese_format.kif 3019-3020
(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 10322-10324
(subclass Precipitation Falling) Merge.kif 10320-10320 Precipitation is a subclass of falling
(subclass Precipitation WaterMotion) Merge.kif 10319-10319 Precipitation is a subclass of water motion
(subclass Precipitation WeatherProcess) Merge.kif 10318-10318 Precipitation is a subclass of weather process

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


(subclass FreezingRain Precipitation) Weather.kif 685-685 Freezing rain is a subclass of precipitation
(subclass Hailing Precipitation) Weather.kif 789-789 Hailing is a subclass of precipitation
(subclass Raining Precipitation) Weather.kif 654-654 Raining is a subclass of precipitation
(subclass Sleeting Precipitation) Weather.kif 763-763 Sleeting is a subclass of precipitation
(subclass Snowing Precipitation) Weather.kif 746-746 Snowing is a subclass of precipitation
(termFormat ChineseLanguage Precipitation "沉淀") domainEnglishFormat.kif 47047-47047 "沉淀" is the printable form of precipitation in ChineseLanguage
(termFormat ChineseTraditionalLanguage Precipitation "沉澱") domainEnglishFormat.kif 47046-47046 "沉澱" is the printable form of precipitation in ChineseTraditionalLanguage
(termFormat EnglishLanguage Precipitation "precipitation") domainEnglishFormat.kif 47045-47045 "precipitation" is the printable form of precipitation in english language

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


(domain precipitationAmount 1 Precipitation) Weather.kif 835-835 The number 1 argument of precipitation amount is an instance of precipitation
(domain precipitationRate 1 Precipitation) Weather.kif 825-825 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 10326-10331

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 1419-1429
(=>
    (relativeHumidity ?PLACE 1)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 645-650


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