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 12930-12931
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg")	pictureList.kif 4680-4680
(subclass Evaporating StateChange)	Merge.kif 12929-12929	subclass Evaporating and StateChange

appearance as argument number 2

(termFormat ChineseLanguage Evaporating "蒸发")	domainEnglishFormat.kif 22555-22555
(termFormat ChineseTraditionalLanguage Evaporating "蒸發")	domainEnglishFormat.kif 22554-22554
(termFormat EnglishLanguage Evaporating "evaporating")	domainEnglishFormat.kif 22553-22553

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

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 2072-2078	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 2010-2030	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: