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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sublimation
Sublimation(sublimation)sublimation

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


(documentation Sublimation ChineseLanguage "这个 Process Class 发生在当 Object 从周围 环境获得能量,而无需经过 Liquid 状态直接从 Solid 转成 Gas。") Geography.kif 7038-7039
(documentation Sublimation EnglishLanguage "The Class of Processes where an Object gains energy from its surrounding and is converted directly from a Solid to a Gas, without going through the state of being a Liquid.") Geography.kif 7034-7036
(subclass Sublimation StateChange) Geography.kif 7041-7041 Sublimation is a subclass of state change

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


(relatedInternalConcept Deposition Sublimation) Geography.kif 7043-7043 Deposition is internally related to sublimation
(termFormat ChineseLanguage Sublimation "升华") Geography.kif 7047-7047
(termFormat EnglishLanguage Sublimation "sublimation") Geography.kif 7045-7045

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


(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?SUBLIMATION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (greaterThan ?Y ?X))
Geography.kif 7068-7082
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Solid))
            (holdsDuring
                (EndFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Gas))
            (not
                (holdsDuring
                    (WhenFn ?SUBLIMATION)
                    (attribute ?PART Liquid))))))
Geography.kif 7049-7066


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