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 7154-7155
(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 7150-7152
(relatedInternalConcept Deposition Sublimation)	Geography.kif 7209-7209	Deposition is internally related to sublimation
(subclass Deposition StateChange)	Geography.kif 7157-7157	Deposition is a subclass of state change

appearance as argument number 2

(subclass Frosting Deposition)	Weather.kif 3294-3294	Frosting is a subclass of deposition
(termFormat ChineseLanguage Deposition "凝华")	Geography.kif 7161-7161	Frosting is a subclass of deposition
(termFormat EnglishLanguage Deposition "deposition")	Geography.kif 7159-7159	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 7182-7196	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 7163-7180	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