| Deposition | |
| appearance as argument number 1 |
|
|
| (documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷，而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") | Geography.kif 6326-6327 | |
| (documentation Deposition EnglishLanguage "The Class of Processes where an Object is cooled and converted directly from a Gas to a Solid, without going through the state of being a Liquid.") | Geography.kif 6322-6324 | |
| (relatedInternalConcept Deposition Sublimation) | Geography.kif 6381-6381 | relatedInternalConcept Deposition and Sublimation |
| (subclass Deposition StateChange) | Geography.kif 6329-6329 | subclass Deposition and StateChange |
| appearance as argument number 2 |
|
|
| (subclass Frosting Deposition) | Weather.kif 1279-1279 | subclass Frosting and Deposition |
| (termFormat ChineseLanguage Deposition "凝华") | Geography.kif 6333-6333 | termFormat ChineseLanguage, Deposition and "凝华" |
| (termFormat EnglishLanguage Deposition "deposition") | Geography.kif 6331-6331 | termFormat EnglishLanguage, Deposition and "deposition" |
| antecedent |
|
|
| (=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (lessThan ?Y ?X)) |
Geography.kif 6354-6368 | |
| (=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?DEPOSITION)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?DEPOSITION)) (attribute ?PART Solid)) (not (holdsDuring (WhenFn ?DEPOSITION) (attribute ?PART Liquid)))))) |
Geography.kif 6335-6352 |
|
|
|