| 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 10479-10481 | |
| (subclass Precipitation Falling) | Merge.kif 10477-10477 | Precipitation is a subclass of falling |
| (subclass Precipitation WaterMotion) | Merge.kif 10476-10476 | Precipitation is a subclass of water motion |
| (subclass Precipitation WeatherProcess) | Merge.kif 10475-10475 | 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 47027-47027 | |
| (termFormat ChineseTraditionalLanguage Precipitation "沉澱") | domainEnglishFormat.kif 47026-47026 | |
| (termFormat EnglishLanguage Precipitation "precipitation") | domainEnglishFormat.kif 47025-47025 |
| appearance as argument number 3 |
|
|
| (domain precipitationAmount 1 Precipitation) | Weather.kif 831-831 | The number 1 argument of precipitation amount is an instance of precipitation |
| (domain precipitationRate 1 Precipitation) | Weather.kif 821-821 | 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 10483-10488 |
|
| 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 1637-1647 |
|
| (=> (relativeHumidity ?PLACE 1) (exists (?FALLING) (and (instance ?FALLING Precipitation) (eventLocated ?FALLING ?PLACE)))) |
Weather.kif 645-650 |
|
|
|
|