|
|
   Condensing
|
|
|
| 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 9953-9953 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Spider_web_Luc_Viatour.jpg") | pictureList.kif 10703-10703 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Science.jpg") | pictureList.kif 10704-10704 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Blue_morpho_butterfly.jpg") | pictureList.kif 10705-10705 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 10706-10706 | |
| (externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Condensation_on_water_bottle.jpg") | pictureList.kif 10707-10707 | |
| (subclass Condensing StateChange) | Merge.kif 14014-14014 | Condensare è una sottoclasse di CambiamentoDiStato |
| 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 |
|
|
|
|
|
