Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Melting(melting)
more pictures... |  | deliquesce, dethaw, dissolve, dissolved, liquefied, liquescent, liquid, liquified, melt, melt_down, melted, melting, molten, run, slushy, thaw, thawed, thawing, unfreeze, unmelted, unthaw, warming |
| appearance as argument number 1 |
|
|
| s__subclass(s__Melting,s__StateChange)
|
Merge.kif 14210-14210 | Melting is a subclass of state change |
| s__documentation(s__Melting, s__EnglishLanguage, "The Class of Processes where an Object is heated and converted from a Solid to a Liquid_") | Merge.kif 14211-14212 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/1/16/Melting_icecubes.gif")
|
pictureList.kif 6696-6696 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/d/d1/Melting_Icicle_Structure.jpg")
|
pictureList.kif 7305-7305 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/9/90/Melting_chocolate_-_step_4.JPG")
|
pictureList.kif 7306-7306 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/3/3b/Muffin_with_melting_butter.jpg")
|
pictureList.kif 7307-7307 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/2/22/Melting_Iceberg_upernavik_2007-07-12.jpg")
|
pictureList.kif 7308-7308 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/3/31/Melting_glacier.jpg")
|
pictureList.kif 7309-7309 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/d/d9/Melting_crucible.jpg")
|
pictureList.kif 7310-7310 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/7/74/Coconut_milk_melting.JPG")
|
pictureList.kif 7311-7311 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/0/08/Iceberg_6_2001_07_23.jpg")
|
pictureList.kif 7312-7312 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/c/c3/Arctic_ice_melt.jpg")
|
pictureList.kif 7313-7313 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/2/2a/Butter_melt_with_sugar.jpg")
|
pictureList.kif 7314-7314 | Melting is a subclass of state change |
| s__externalImage(s__Melting,"http: //upload.wikimedia.org/wikipedia/commons/5/53/Spumoni.jpg")
|
pictureList.kif 7315-7315 | Melting is a subclass of state change |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__Melting, "melting") | english_format.kif 1679-1679 |
| antecedent |
|
|
| ! [V__MELT] : ((s__instance(V__MELT,s__Melting) => (? [V__HEAT] : ((s__instance(V__HEAT,s__Heating) & s__subProcess(V__HEAT,V__MELT))))) )
|
Merge.kif 14214-14219 | If X is an instance of melting, then there exists Y such that Y is an instance of heating and Y is a subprocess of X |
| ! [V__MELT : $i,V__OBJ : $i] : (((s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__Solid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__Liquid))))))) | Merge.kif 14221-14229 | If X is an instance of melting and Y is a patient of X, then there exists Z such that Z is a part of Y, solid 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 |
|
|
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TEMP3 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP2, V__MEASURE)) & s__instance(V__MEASURE, s__UnitOfTemperature) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP3, V__MEASURE))) & ($greater(V__TEMP3,V__TEMP2)) & ($less(V__TEMP3,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Liquid)) | ( ? [V__MELT:$i] : ((s__overlapsTemporally(s__WhenFn(V__MELT), V__TIME) & s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__SUBSTANCE))))))) | Merge.kif 14172-14187 | If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S |
| ! [V__S] : ((s__instance(V__S,s__Soldering) => (? [V__M] : ((s__instance(V__M,s__Melting) & s__subProcess(V__M,V__S))))) )
|
Mid-level-ontology.kif 6778-6783 | If X is an instance of soldering, then there exists Y such that Y is an instance of melting and Y is a subprocess of X |
| ! [V__PROCESS] : ((s__instance(V__PROCESS,s__Sleeting) => (? [V__STUFF,V__R,V__S,V__MELT] : ((s__instance(V__STUFF,s__CollectionOfObjects) & s__objectTransferred(V__PROCESS,V__STUFF) & s__instance(V__R,s__Raindrop) & s__instance(V__S,s__Snowflake) & s__member(V__R,V__STUFF) & s__member(V__S,V__STUFF) & s__instance(V__MELT,s__Melting) & s__subProcess(V__MELT,V__PROCESS) & s__patient(V__MELT,V__S))))) )
|
Weather.kif 1838-1850 | If X is an instance of sleeting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of collection (3) the object transferred in X is Y (4) Z is an instance of rain drop (5) W is an instance of snowflake (6) Z is a member of Y (7) W is a member of Y (8) V is an instance of melting (9) V is a subprocess of X (10) W is a patient of V |
|