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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Evaporating

Sigma KEE - Evaporating
Evaporating(evaporating)
evaporate, pervaporate, vaporise

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


(documentation Evaporating ChineseLanguage "这是当 Substance 在低于它 Boiling point 的温度 从 Liquid 转成 Gas ProcessClass。") chinese_format.kif 1426-1427
(documentation Evaporating EnglishLanguage "The Class of Processes where a Substance is converted from a Liquid to a Gas at a temperature below its Boiling point.") Merge.kif 13717-13718
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") pictureList.kif 4680-4680
(subclass Evaporating StateChange) Merge.kif 13716-13716 Evaporating is a subclass of state change

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


(termFormat ChineseLanguage Evaporating "蒸发") domainEnglishFormat.kif 22623-22623
(termFormat ChineseTraditionalLanguage Evaporating "蒸發") domainEnglishFormat.kif 22622-22622
(termFormat EnglishLanguage Evaporating "evaporating") domainEnglishFormat.kif 22621-22621

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


(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?CLASS
            (MeasureFn ?BOILVAL ?MEAS))
        (instance ?OBJ ?CLASS)
        (measure ?OBJ
            (MeasureFn ?VAL ?MEAS))
        (instance ?MEAS UnitOfTemperature)
        (patient ?EVAP ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (greaterThan ?BOILVAL ?VAL)
            (holdsDuring
                (BeginFn
                    (WhenFn ?EVAP))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?EVAP))
                (attribute ?PART Gas)))))
Merge.kif 13722-13735

consequent
-------------------------


(=>
    (instance ?ACE AirConditioningEvaporator)
    (hasPurpose ?ACE
        (exists (?E)
            (and
                (instance ?E Evaporating)
                (instrument ?E ?ACE)))))
Cars.kif 2085-2091
(=>
    (instance ?VCC VaporCompressionCycle)
    (exists (?CMP ?COND ?EV ?CMP2)
        (and
            (instance ?CMP Compressing)
            (instance ?COND Condensing)
            (instance ?EV Evaporating)
            (instance ?CMP2 Compressing)
            (subProcess ?CMP ?VCC)
            (subProcess ?COND ?VCC)
            (subProcess ?EV ?VCC)
            (subProcess ?CMP2 ?VCC)
            (meetsTemporally
                (WhenFn ?CMP)
                (WhenFn ?COND))
            (meetsTemporally
                (WhenFn ?COND)
                (WhenFn ?EV))
            (meetsTemporally
                (WhenFn ?EV)
                (WhenFn ?CMP2)))))
Cars.kif 2023-2043


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