more pictures...
| Condensing
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Condensing ChineseLanguage "这是当 Object 受冷时而从Gas 转成 Liquid Process 的 Class。") | chinese_format.kif 1428-1429 | |
| (documentation Condensing EnglishLanguage "The Class of Processes where an Object is cooled and converted from a Gas to a Liquid.") | Merge.kif 14015-14016 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") | pictureList.kif 9952-9952 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Spider_web_Luc_Viatour.jpg") | pictureList.kif 10702-10702 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Science.jpg") | pictureList.kif 10703-10703 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Blue_morpho_butterfly.jpg") | pictureList.kif 10704-10704 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 10705-10705 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Condensation_on_water_bottle.jpg") | pictureList.kif 10706-10706 | |
| (subclass Condensing StateChange) | Merge.kif 14014-14014 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Condensing "凝结") | chinese_format.kif 1229-1229 | |
| (termFormat EnglishLanguage Condensing "condensing") | english_format.kif 1679-1679 | |
| (termFormat FrenchLanguage Condensing "condenser") | french_format.kif 907-907 | |
| (termFormat Hindi Condensing "sanghanana") | terms-hindi.txt 440-440 | |
| (termFormat ItalianLanguage Condensing "Condensare") | terms-it.txt 443-443 | |
| (termFormat JapaneseLanguage Condensing "凝縮") | japanese_format.kif 2591-2591 | |
| (termFormat PortugueseLanguage Condensing "Condensar") | portuguese_format.kif 859-859 | |
| (termFormat cz Condensing "kondenzace") | terms-cz.txt 479-479 | |
| (termFormat ro Condensing "condensare") | relations-ro.kif 928-928 | |
| (termFormat tg Condensing "pinapalapot") | terms-tg.txt 444-444 |
| antecedent |
|
|
| (=> (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 14025-14033 | |
| (=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND)))) |
Merge.kif 14018-14023 |
| consequent |
|
|
| (=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Condensing) (instrument ?C ?ACC))))) |
Cars.kif 2044-2050 | |
| (=> (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 2006-2026 |
|
|
|