Deposition |
appearance as argument number 1 |
![]() |
(documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷,而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") | Geography.kif 7292-7293 | |
(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 7288-7290 | |
(relatedInternalConcept Deposition Sublimation) | Geography.kif 7347-7347 | Deposition は Sublimation に internally 関連して |
(subclass Deposition StateChange) | Geography.kif 7295-7295 | Deposition は 状態変化 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Frosting Deposition) | Weather.kif 3463-3463 | Frosting は Deposition の subclass では |
(termFormat ChineseLanguage Deposition "凝华") | Geography.kif 7299-7299 | Frosting は Deposition の subclass では |
(termFormat EnglishLanguage Deposition "deposition") | Geography.kif 7297-7297 | Frosting は Deposition の subclass では |
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 7320-7334 | |
(=> (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 7301-7318 |
|
![]() |
![]() |