Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Melting
Melting
more pictures...

appearance as argument number 1
-------------------------


(documentation Melting ChineseLanguage "这是当 Object 受热时而从 Solid 转成 Liquid ProcessClass。") Merge.kif 13895-13896
(documentation Melting EnglishLanguage "The Class of Processes where an Object is heated and converted from a Solid to a Liquid.") Merge.kif 13893-13894
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/0/ 08/ Iceberg_6_2001_07_23.jpg") pictureList.kif 7315-7315
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Melting_icecubes.gif") pictureList.kif 6698-6698
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/2/ 22/ Melting_Iceberg_upernavik_2007-07-12.jpg") pictureList.kif 7311-7311
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Butter_melt_with_sugar.jpg") pictureList.kif 7317-7317
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Melting_glacier.jpg") pictureList.kif 7312-7312
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Muffin_with_melting_butter.jpg") pictureList.kif 7310-7310
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Spumoni.jpg") pictureList.kif 7318-7318
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Coconut_milk_melting.JPG") pictureList.kif 7314-7314
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Melting_chocolate_-_step_4.JPG") pictureList.kif 7309-7309
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Arctic_ice_melt.jpg") pictureList.kif 7316-7316
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Melting_Icicle_Structure.jpg") pictureList.kif 7308-7308
(externalImage Melting "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Melting_crucible.jpg") pictureList.kif 7313-7313
(subclass Melting StateChange) Merge.kif 13892-13892

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Melting "溶化") chinese_format.kif 1227-1227
(termFormat EnglishLanguage Melting "melting") english_format.kif 914-914

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 13905-13913
(=>
    (instance ?MELT Melting)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?MELT))))
Merge.kif 13898-13903

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 ?BOIL ?SUBSTANCE)))))
Merge.kif 13854-13869
(=>
    (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 774-786
(=>
    (instance ?S Soldering)
    (exists (?M)
        (and
            (instance ?M Melting)
            (subProcess ?M ?S))))
Mid-level-ontology.kif 5892-5897


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners