precipitationState |
appearance as argument number 1 |
(documentation precipitationState EnglishLanguage "(precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice).") | Weather.kif 1184-1187 | |
(domain precipitationState 1 WeatherProcess) | Weather.kif 1182-1182 | Il numero 1 argomenti di precipitationState è un istanza di WeatherProcess |
(domain precipitationState 2 PhysicalState) | Weather.kif 1183-1183 | Il numero 2 argomenti di precipitationState è un istanza di StatoFisico |
(instance precipitationState AsymmetricRelation) | Weather.kif 1181-1181 | precipitationState è un' istanza di RelazioneAsimmetrica |
(instance precipitationState BinaryPredicate) | Weather.kif 1180-1180 | precipitationState è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage precipitationState "%2 %n 是 %1 的 precipitation 状态") | domainEnglishFormat.kif 2027-2027 | |
(format ChineseTraditionalLanguage precipitationState "%2 %n 是 %1 的 precipitation 狀態") | domainEnglishFormat.kif 2026-2026 | |
(format EnglishLanguage precipitationState "%2 is %n a precipitation state of %1") | domainEnglishFormat.kif 2025-2025 | |
(termFormat ChineseLanguage precipitationState "降水状态") | domainEnglishFormat.kif 47126-47126 | |
(termFormat ChineseTraditionalLanguage precipitationState "降水狀態") | domainEnglishFormat.kif 47125-47125 | |
(termFormat EnglishLanguage precipitationState "precipitation state") | domainEnglishFormat.kif 47124-47124 |
antecedent |
(=> (precipitationState ?EVENT ?STATE) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?EVENT ?STUFF) (attribute ?STUFF ?STATE)))) |
Weather.kif 1189-1195 |
|
consequent |
(=> (instance ?PROCESS FreezingRain) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1083-1085 |
|
(=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1176-1178 |
|
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1049-1051 |
|
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1133-1135 |
|