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 e' uma sub-classe de Mudanca de Estado

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

Processo e' uma instancia de Evaporating boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Objeto e' uma instancia de Substancia Pura a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature Objeto e' um patient de Processo
Objeto Objeto e' uma &parte de Objeto Numero Real e' maior que Numero Real Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo

consequent

(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?E) (and (instance ?E Evaporating) (instrument ?E ?ACE)))))	Cars.kif 2068-2074	Fisico e' uma instancia de AirConditioningEvaporator Fisico tem por fim Entidade Entidade e' uma instancia de Evaporating Fisico e' um instrumento para Entidade
(=> (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	Processo e' uma instancia de VaporCompressionCycle Processo Processo, Processo and Processo2 Processo e' uma instancia de Compressing Processo e' uma instancia de Condensar Processo e' uma instancia de Evaporating Processo2 e' uma instancia de Compressing Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo2 e' um sub-processo de Processo tempo de existencia de Processo encontra tempo de existencia de Processo tempo de existencia de Processo encontra tempo de existencia de Processo tempo de existencia de Processo encontra tempo de existencia de Processo2

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: