| 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 1497-1497 | subclass Frosting and Deposition |
| (termFormat ChineseLanguage Deposition "凝华") | Geography.kif 6333-6333 | |
| (termFormat EnglishLanguage Deposition "deposition") | Geography.kif 6331-6331 |
| 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 |
|
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