TreeView Knowledge Base Browser - Melting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Melting

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

(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	Melting is a subclass of state change

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	If a process is an instance of melting and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT))))	Merge.kif 13951-13956	If a process is an instance of melting, then there exists another process such that the other process is an instance of heating and the other process is a subprocess of the process

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	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of unit of temperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
(=> (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	If a transfer is an instance of sleeting, then there exist a collection, a physical,, , another physical and a process such that the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of rain drop and the other physical is an instance of snowflake and the physical is a member of the collection and the other physical is a member of the collection and the process is an instance of melting and the process is a subprocess of the transfer and the other physical is a patient of the process
(=> (instance ?S Soldering) (exists (?M) (and (instance ?M Melting) (subProcess ?M ?S))))	Mid-level-ontology.kif 5653-5658	If a process is an instance of soldering, then there exists another process such that the other process is an instance of melting and the other process is a subprocess of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners