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 6988-6989
(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 6984-6986
(relatedInternalConcept Deposition Sublimation)	Geography.kif 7043-7043	Deposition is internally related to sublimation
(subclass Deposition StateChange)	Geography.kif 6991-6991	Deposition is a subclass of state change

appearance as argument number 2

(subclass Frosting Deposition)	Weather.kif 2761-2761	Frosting is a subclass of deposition
(termFormat ChineseLanguage Deposition "凝华")	Geography.kif 6995-6995	Frosting is a subclass of deposition
(termFormat EnglishLanguage Deposition "deposition")	Geography.kif 6993-6993	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 7016-7030	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 6997-7014	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