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 7056-7057
(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 7052-7054
(relatedInternalConcept Deposition Sublimation)	Geography.kif 7111-7111	Deposition is internally related to sublimation
(subclass Deposition StateChange)	Geography.kif 7059-7059	Deposition is a subclass of state change

appearance as argument number 2

(subclass Frosting Deposition)	Weather.kif 2760-2760	Frosting is a subclass of deposition
(termFormat ChineseLanguage Deposition "凝华")	Geography.kif 7063-7063	Frosting is a subclass of deposition
(termFormat EnglishLanguage Deposition "deposition")	Geography.kif 7061-7061	Frosting is a subclass of deposition

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 7084-7098	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 real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is less than the real number
(=> (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 7065-7082	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 3.0 is open source software produced by Articulate Software and its partners