| 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 1188-1191 | |
| (domain precipitationState 1 WeatherProcess) | Weather.kif 1186-1186 | 降水状态 的 1 数量 是 天气过程 的 instance |
| (domain precipitationState 2 PhysicalState) | Weather.kif 1187-1187 | 降水状态 的 2 数量 是 物质状态 的 instance |
| (instance precipitationState AsymmetricRelation) | Weather.kif 1185-1185 | 降水状态 是 非对称关系 的 instance |
| (instance precipitationState BinaryPredicate) | Weather.kif 1184-1184 | 降水状态 是 二元谓语 的 instance |
| 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 1193-1199 |
| consequent |
|
|
| (=> (instance ?PROCESS FreezingRain) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1087-1089 | |
| (=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1180-1182 | |
| (=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1053-1055 | |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1137-1139 |
|
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 3.0 is open source software produced by Articulate Software and its partners