| Sublimation | |
| appearance as argument number 1 |
|
|
| (documentation Sublimation ChineseLanguage "这个 Process Class 发生在当 Object 从周围 环境获得能量，而无需经过 Liquid 状态直接从 Solid 转成 Gas。") | Geography.kif 7107-7108 | |
| (documentation Sublimation EnglishLanguage "The Class of Processes where an Object gains energy from its surrounding and is converted directly from a Solid to a Gas, without going through the state of being a Liquid.") | Geography.kif 7103-7105 | |
| (subclass Sublimation StateChange) | Geography.kif 7110-7110 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Deposition Sublimation) | Geography.kif 7112-7112 | |
| (termFormat ChineseLanguage Sublimation "升华") | Geography.kif 7116-7116 | |
| (termFormat EnglishLanguage Sublimation "sublimation") | Geography.kif 7114-7114 |
| antecedent |
|
|
| (=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (greaterThan ?Y ?X)) |
Geography.kif 7137-7151 | |
| (=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?SUBLIMATION)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?SUBLIMATION)) (attribute ?PART Gas)) (not (holdsDuring (WhenFn ?SUBLIMATION) (attribute ?PART Liquid)))))) |
Geography.kif 7118-7135 |
|
|
|