Melting
|
|
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 13948-13949 | |
(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 13947-13947 |
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 13958-13966 | |
(=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT)))) |
Merge.kif 13951-13956 |
consequent |
(=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE))))) |
Merge.kif 13909-13924 | |
(=> (instance ?PROCESS Sleeting) (exists (?STUFF ?R ?S ?MELT) (and (instance ?STUFF Collection) (objectTransferred ?PROCESS ?STUFF) (instance ?R Raindrop) (instance ?S Snowflake) (member ?R ?STUFF) (member ?S ?STUFF) (instance ?MELT Melting) (subProcess ?MELT ?PROCESS) (patient ?MELT ?S)))) |
Weather.kif 1142-1154 | |
(=> (instance ?S Soldering) (exists (?M) (and (instance ?M Melting) (subProcess ?M ?S)))) |
Mid-level-ontology.kif 5653-5658 |