|
|
   Evaporating
|
|
|
| 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 13839-13840 | |
| (externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 4680-4680 | |
| (subclass Evaporating StateChange) | Merge.kif 13838-13838 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Evaporating "蒸发") | domainEnglishFormat.kif 22633-22633 | |
| (termFormat ChineseTraditionalLanguage Evaporating "蒸發") | domainEnglishFormat.kif 22632-22632 | |
| (termFormat EnglishLanguage Evaporating "evaporating") | domainEnglishFormat.kif 22631-22631 |
| 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 13844-13857 |
| 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 |
|
|
|
