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 14101-14102 | |
(externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 4678-4678 | |
(subclass Evaporating StateChange) | Merge.kif 14100-14100 | Evaporating は 状態変化 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Evaporating "蒸发") | domainEnglishFormat.kif 22636-22636 | |
(termFormat ChineseTraditionalLanguage Evaporating "蒸發") | domainEnglishFormat.kif 22635-22635 | |
(termFormat EnglishLanguage Evaporating "evaporating") | domainEnglishFormat.kif 22634-22634 |
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 14106-14119 |
|
consequent |
![]() |
![]() |
![]() |