Melting(Derreter)![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Melting ChineseLanguage "这是当 Object 受热时而从 Solid 转成 Liquid Process 的 Class。") | chinese_format.kif 1422-1423 | |
(documentation Melting EnglishLanguage "The Class of Processes where an Object is heated and converted from a Solid to a Liquid.") | Merge.kif 13902-13903 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/0/ 08/ Iceberg_6_2001_07_23.jpg") | pictureList.kif 7313-7313 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Melting_icecubes.gif") | pictureList.kif 6697-6697 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Melting_Iceberg_upernavik_2007-07-12.jpg") | pictureList.kif 7309-7309 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Butter_melt_with_sugar.jpg") | pictureList.kif 7315-7315 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Melting_glacier.jpg") | pictureList.kif 7310-7310 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Muffin_with_melting_butter.jpg") | pictureList.kif 7308-7308 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Spumoni.jpg") | pictureList.kif 7316-7316 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Coconut_milk_melting.JPG") | pictureList.kif 7312-7312 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Melting_chocolate_-_step_4.JPG") | pictureList.kif 7307-7307 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Arctic_ice_melt.jpg") | pictureList.kif 7314-7314 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Melting_Icicle_Structure.jpg") | pictureList.kif 7306-7306 | |
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Melting_crucible.jpg") | pictureList.kif 7311-7311 | |
(subclass Melting StateChange) | Merge.kif 13901-13901 | Derreter e' uma sub-classe de Mudanca de Estado |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Melting "溶化") | chinese_format.kif 1227-1227 | |
(termFormat EnglishLanguage Melting "melting") | english_format.kif 1675-1675 | |
(termFormat FrenchLanguage Melting "mettre en fusion") | french_format.kif 905-905 | |
(termFormat Hindi Melting "pighalana") | terms-hindi.txt 438-438 | |
(termFormat ItalianLanguage Melting "Sciogliere") | terms-it.txt 441-441 | |
(termFormat JapaneseLanguage Melting "溶融") | japanese_format.kif 2589-2589 | |
(termFormat PortugueseLanguage Melting "Derreter") | portuguese_format.kif 857-857 | |
(termFormat cb Melting "paglanay") | terms-cb.txt 443-443 | |
(termFormat cz Melting "t�n�") | terms-cz.txt 477-477 | |
(termFormat ro Melting "topire") | relations-ro.kif 926-926 | |
(termFormat tg Melting "natutunaw") | terms-tg.txt 442-442 |
antecedent |
![]() |
(=> (and (instance ?MELT Melting) (patient ?MELT ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?MELT)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?MELT)) (attribute ?PART Liquid))))) |
Merge.kif 13912-13920 | |
(=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT)))) |
Merge.kif 13905-13910 |
consequent |
![]() |
![]() |
![]() |