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 11231-11233 | |
(documentation Precipitation JapaneseLanguage "Precipitation は、液体または凍結状態のいずれ かで、空気から地面に落下する水分子のプロセスである。") | japanese_format.kif 1784-1785 | |
(subclass Precipitation Falling) | Merge.kif 11229-11229 | 沉淀 是 落下 的 subclass |
(subclass Precipitation WaterMotion) | Merge.kif 11228-11228 | 沉淀 是 水运动 的 subclass |
(subclass Precipitation WeatherProcess) | Merge.kif 11227-11227 | 沉淀 是 天气过程 的 subclass |
appearance as argument number 2 |
(subclass FreezingRain Precipitation) | Weather.kif 1070-1070 | 冻雨 是 沉淀 的 subclass |
(subclass Hailing Precipitation) | Weather.kif 1170-1170 | 下冰雹 是 沉淀 的 subclass |
(subclass Raining Precipitation) | Weather.kif 1038-1038 | 下雨 是 沉淀 的 subclass |
(subclass Sleeting Precipitation) | Weather.kif 1147-1147 | 雨雪 是 沉淀 的 subclass |
(subclass Snowing Precipitation) | Weather.kif 1131-1131 | 下雪 是 沉淀 的 subclass |
(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 1208-1208 | 降水量 的 1 数量 是 沉淀 的 instance |
(domain precipitationRate 1 Precipitation) | Weather.kif 1199-1199 | 降水率 的 1 数量 是 沉淀 的 instance |
antecedent |
(=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF)))) |
Merge.kif 11235-11240 |
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 2889-2899 | |
(=> (relativeHumidity ?PLACE 1.0) (exists (?FALLING) (and (instance ?FALLING Precipitation) (eventLocated ?FALLING ?PLACE)))) |
Weather.kif 1029-1034 |