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

appearance as argument number 2

(termFormat ChineseLanguage Evaporating "蒸发")	domainEnglishFormat.kif 22648-22648
(termFormat ChineseTraditionalLanguage Evaporating "蒸發")	domainEnglishFormat.kif 22647-22647
(termFormat EnglishLanguage Evaporating "evaporating")	domainEnglishFormat.kif 22646-22646

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

If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process,
then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process

consequent

(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?E) (and (instance ?E Evaporating) (instrument ?E ?ACE)))))	Cars.kif 2068-2074	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of evaporating and the physical is an instrument for the entity
(=> (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 2006-2026	If a process is an instance of vapor compression cycle, then there exist another process, a third process,, , a fourth process and the other process2 such that the other process is an instance of compressing and the third process is an instance of condensing and the fourth process is an instance of evaporating and the other process2 is an instance of compressing and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the other process2 is a subprocess of the process and the time of existence of the other process meets the time of existence of the third process and the time of existence of the third process meets the time of existence of the fourth process and the time of existence of the fourth process meets the time of existence of the other process2

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: