Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Condensing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Condensing StateChange) | Merge.kif 14277-14277 | Condensing is a subclass of state change |
| (documentation Condensing EnglishLanguage "The Class of Processes where an Object is cooled and converted from a Gas to a Liquid.") | Merge.kif 14278-14279 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 9952-9952 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Spider_web_Luc_Viatour.jpg") | pictureList.kif 10701-10701 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Science.jpg") | pictureList.kif 10702-10702 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Blue_morpho_butterfly.jpg") | pictureList.kif 10703-10703 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 10704-10704 | Condensing is a subclass of state change |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Condensation_on_water_bottle.jpg") | pictureList.kif 10705-10705 | Condensing is a subclass of state change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Condensing "condensing") | english_format.kif 1683-1683 |
| antecedent |
|
|
| (=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND)))) |
Merge.kif 14281-14286 | If X is an instance of condensing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X |
| (=> (and (instance ?COND Condensing) (patient ?COND ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?COND)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?COND)) (attribute ?PART Liquid))))) |
Merge.kif 14288-14296 | If X is an instance of condensing and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z 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 ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Condensing) (instrument ?C ?ACC))))) |
Cars.kif 1906-1912 | If X is an instance of air conditioning condenser, then X has the purpose there exists Y such that Y is an instance of condensing and X is an instrument for Y |
|
