| Precipitation | |
| 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 11209-11211 | |
| (documentation Precipitation JapaneseLanguage "Precipitation は、液体または凍結状態のいずれ かで、空気から地面に落下する水分子のプロセスである。") | japanese_format.kif 1784-1785 | |
| (subclass Precipitation Falling) | Merge.kif 11207-11207 | Precipitation は Falling の subclass では %n |
| (subclass Precipitation WaterMotion) | Merge.kif 11206-11206 | Precipitation は WaterMotion の subclass では %n |
| (subclass Precipitation WeatherProcess) | Merge.kif 11205-11205 | Precipitation は WeatherProcess の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass FreezingRain Precipitation) | Weather.kif 1074-1074 | FreezingRain は Precipitation の subclass では %n |
| (subclass Hailing Precipitation) | Weather.kif 1174-1174 | Hailing は Precipitation の subclass では %n |
| (subclass Raining Precipitation) | Weather.kif 1042-1042 | Raining は Precipitation の subclass では %n |
| (subclass Sleeting Precipitation) | Weather.kif 1151-1151 | Sleeting は Precipitation の subclass では %n |
| (subclass Snowing Precipitation) | Weather.kif 1135-1135 | Snowing は Precipitation の subclass では %n |
| (termFormat ChineseLanguage Precipitation "沉淀") | domainEnglishFormat.kif 47108-47108 | |
| (termFormat ChineseTraditionalLanguage Precipitation "沉澱") | domainEnglishFormat.kif 47107-47107 | |
| (termFormat EnglishLanguage Precipitation "precipitation") | domainEnglishFormat.kif 47106-47106 |
| appearance as argument number 3 |
|
|
| (domain precipitationAmount 1 Precipitation) | Weather.kif 1212-1212 | precipitationAmount の数値 1 引数は Precipitation の instance では %n |
| (domain precipitationRate 1 Precipitation) | Weather.kif 1203-1203 | precipitationRate の数値 1 引数は Precipitation の instance では %n |
| antecedent |
|
|
| (=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF)))) |
Merge.kif 11213-11218 |
| 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 2893-2903 | |
| (=> (relativeHumidity ?PLACE 1.0) (exists (?FALLING) (and (instance ?FALLING Precipitation) (eventLocated ?FALLING ?PLACE)))) |
Weather.kif 1033-1038 |
|
|
|
|