Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - Deposition
Deposition(deposition)

appearance as argument number 1
-------------------------


(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 8648-8650
(documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷，而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") Geography.kif 8652-8653
(subclass Deposition StateChange) Geography.kif 8655-8655 Deposition is a subclass of state change
(relatedInternalConcept Deposition Sublimation) Geography.kif 8707-8707 Deposition is internally related to sublimation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Deposition "deposition") Geography.kif 8657-8657
(termFormat ChineseLanguage Deposition "凝华") Geography.kif 8659-8659
(subclass Frosting Deposition) Weather.kif 4045-4045 Frosting is a subclass of deposition

antecedent
-------------------------


(=>
    (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 8661-8678 If X is an instance of deposition and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, solid is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X
(=>
    (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 8680-8694 If X is an instance of deposition, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is less than Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners