Deposition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Deposition

Deposition(deposition)

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	Deposition is internally related to sublimation
(subclass Deposition StateChange)	Geography.kif 6329-6329	Deposition is a subclass of state change

appearance as argument number 2

(subclass Frosting Deposition)	Weather.kif 1279-1279	Frosting is a subclass of 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	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is less than the quantity
(=> (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	If a process is an instance of deposition and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners