Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Sublimation
|
|
|
| appearance as argument number 1 |
|
|
| (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 8698-8700 | |
| (documentation Sublimation ChineseLanguage "这个 Process Class 发生在当 Object 从周围 环境获得能量，而无需经过 Liquid 状态直接从 Solid 转成 Gas。") | Geography.kif 8702-8703 | |
| (subclass Sublimation StateChange) | Geography.kif 8705-8705 | Sublimation is a subclass of state change |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Deposition Sublimation) | Geography.kif 8707-8707 | Deposition is internally related to sublimation |
| (termFormat EnglishLanguage Sublimation "sublimation") | Geography.kif 8709-8709 | Deposition is internally related to sublimation |
| (termFormat ChineseLanguage Sublimation "升华") | Geography.kif 8711-8711 | Deposition is internally related to sublimation |
| antecedent |
|
|
| (=> (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 8713-8730 | If X is an instance of sublimation and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, gas is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X |
| (=> (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 8732-8746 | If X is an instance of sublimation, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is greater than Z |
|