| appearance as argument number 1 |
|
| (documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷，而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") | Geography.kif 7058-7059 | |
| (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 7054-7056 | |
| (relatedInternalConcept Deposition Sublimation) | Geography.kif 7113-7113 | |
| (subclass Deposition StateChange) | Geography.kif 7061-7061 |
| appearance as argument number 2 |
|
|
| (subclass Frosting Deposition) | Weather.kif 3167-3167 | |
| (termFormat ChineseLanguage Deposition "凝华") | Geography.kif 7065-7065 | |
| (termFormat EnglishLanguage Deposition "deposition") | Geography.kif 7063-7063 |
| 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 7086-7100 | |
| (=> (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 7067-7084 |
|
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