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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deposition
Deposition

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


(documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷,而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") Geography.kif 6326-6327
(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 6322-6324
(relatedInternalConcept Deposition Sublimation) Geography.kif 6381-6381 relatedInternalConcept Deposition and Sublimation
(subclass Deposition StateChange) Geography.kif 6329-6329 subclass Deposition and StateChange

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


(subclass Frosting Deposition) Weather.kif 1279-1279 subclass Frosting and Deposition
(termFormat ChineseLanguage Deposition "凝华") Geography.kif 6333-6333 termFormat ChineseLanguage, Deposition and "凝华"
(termFormat EnglishLanguage Deposition "deposition") Geography.kif 6331-6331 termFormat EnglishLanguage, Deposition and "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 6354-6368
(=>
    (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 6335-6352


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners