Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deposition

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
(termFormat EnglishLanguage Deposition "deposition") Geography.kif 6993-6993

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
(=>
    (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


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 is open source software produced by Articulate Software and its partners