Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Evaporating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Evaporating StateChange) | Merge.kif 14256-14256 | Evaporating is a subclass of state change |
| (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 14257-14258 | Evaporating is a subclass of state change |
| (externalImage Evaporating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 4678-4678 | Evaporating is a subclass of state change |
| appearance as argument number 2 |
|
|
| 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 14262-14275 | If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (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 1868-1888 | If X is an instance of vapor compression cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of compressing (3) Z is an instance of condensing (4) W is an instance of evaporating (5) V is an instance of compressing (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) the time of existence of Y meets the time of existence of Z (11) the time of existence of Z meets the time of existence of W (12) the time of existence of W meets the time of existence of V |
| (=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?E) (and (instance ?E Evaporating) (instrument ?E ?ACE))))) |
Cars.kif 1930-1936 | If X is an instance of air conditioning evaporator, then X has the purpose there exists Y such that Y is an instance of evaporating and X is an instrument for Y |
| (=> (instance ?DEVICE Humidifier) (hasPurpose ?DEVICE (exists (?WATER ?EVAP) (and (instance ?WATER FreshWater) (instance ?EVAP Evaporating) (patient ?EVAP ?WATER))))) |
HouseholdAppliances.kif 985-992 | If X is an instance of humidifier, then X has the purpose there exist Y, Z such that Y is an instance of freshwater, Z is an instance of evaporating, and Y is a patient of Z |
|
