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 6676-6677
(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 6672-6674
(relatedInternalConcept Deposition Sublimation) Geography.kif 6731-6731 凝华升华 是 内部相关
(subclass Deposition StateChange) Geography.kif 6679-6679 凝华状态改变subclass

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


(subclass Frosting Deposition) Weather.kif 2777-2777 凝华subclass
(termFormat ChineseLanguage Deposition "凝华") Geography.kif 6683-6683
(termFormat EnglishLanguage Deposition "deposition") Geography.kif 6681-6681

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 6704-6718
(=>
    (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 6685-6702


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