Evaporating - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Evaporating ChineseLanguage "这是当 Substance 在低于它 Boiling point 的温度从 Liquid 转成 Gas Process 的 Class。")	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 12812-12813
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg")	pictureList.kif 4680-4680	externalImage Evaporating and "http://upload.wikimedia.org/wikipedia/commons/3/37/ Watervapor_cup.jpg"
(subclass Evaporating StateChange)	Merge.kif 12811-12811	subclass Evaporating and StateChange

appearance as argument number 2

(termFormat ChineseLanguage Evaporating "蒸发")	domainEnglishFormat.kif 22561-22561	termFormat ChineseLanguage, Evaporating and "蒸发"
(termFormat ChineseTraditionalLanguage Evaporating "蒸發")	domainEnglishFormat.kif 22560-22560	termFormat ChineseTraditionalLanguage, Evaporating and "蒸發"
(termFormat EnglishLanguage Evaporating "evaporating")	domainEnglishFormat.kif 22559-22559	termFormat EnglishLanguage, Evaporating and "evaporating"

antecedent

(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?OBJ
            (MeasureFn ?BOILVAL ?MEAS))
        (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 12815-12827

instance Process and Evaporating boilingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure measure PureSubstance and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfTemperature patient Process and PureSubstance
Object part Object and PureSubstance greaterThan RealNumber and RealNumber holdsDuring BeginFn WhenFn Process and attribute Object and Liquid holdsDuring EndFn WhenFn Process and attribute Object and Gas

consequent

(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?E) (and (instance ?E Evaporating) (instrument ?E ?ACE)))))	Cars.kif 2071-2077	instance Physical and AirConditioningEvaporator hasPurpose Physical and entity instance entity and Evaporating instrument entity and Physical
(=> (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 2009-2029	instance Process and VaporCompressionCycle Process Process, Process and Process instance Process and Compressing instance Process and Condensing instance Process and Evaporating instance Process and Compressing subProcess Process and Process subProcess Process and Process subProcess Process and Process subProcess Process and Process meetsTemporally WhenFn Process and WhenFn Process meetsTemporally WhenFn Process and WhenFn Process meetsTemporally WhenFn Process and WhenFn Process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: