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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Evaporating
Evaporating

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

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