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 13948-13949
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") pictureList.kif 4679-4679
(subclass Evaporating StateChange) Merge.kif 13947-13947 Evaporating is a subclass of state change

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


(termFormat ChineseLanguage Evaporating "蒸发") domainEnglishFormat.kif 22630-22630
(termFormat ChineseTraditionalLanguage Evaporating "蒸發") domainEnglishFormat.kif 22629-22629
(termFormat EnglishLanguage Evaporating "evaporating") domainEnglishFormat.kif 22628-22628

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 13953-13966

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