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 13970-13971 | |
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 4679-4679 | |
(subclass Evaporating StateChange) | Merge.kif 13969-13969 |
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 13975-13988 |
consequent |
(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?E) (and (instance ?E Evaporating) (instrument ?E ?ACE))))) |
Cars.kif 2091-2097 | |
(=> (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 2029-2049 |