| 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 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 est une sous-classe de changement d'�tat |
| 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 |
|
| consequent |
|
|
|
|
|