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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooling
Cooling(cooling)
more pictures...
air-conditioned, air-cooled, caller, chill, chilling, cool, cool_down, cooling, freeze, frigorific, heat_dissipation, ice, infrigidation, precooled, quench, refrigerant, refrigerate, refrigerated, refrigerating, refrigeration, temperature_reduction, water-cooled

VerbNet: other_cos-45.4|cool, other_cos-45.4|cool, other_cos-45.4|cool, remedy-45.7|ice,


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


(documentation Cooling ChineseLanguage "这是当正在减少的 PhysicalQuantityTemperatureMeasure 的任何 Decreasing Process。") chinese_format.kif 2989-2990
(documentation Cooling EnglishLanguage "Any Decreasing Process where the PhysicalQuantity decreased is a TemperatureMeasure.") Merge.kif 10228-10229
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Inside_domestic_refrigerator_.JPG") pictureList.kif 10772-10772
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Helium_dilution_refrigerator.jpg") pictureList.kif 10774-10774
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Victoria_Air_Cooling.jpg") pictureList.kif 10785-10785
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Global_Cooling_Map.png") pictureList.kif 10782-10782
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Watercoolingvue1.jpg") pictureList.kif 10780-10780
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Klimatyzator_jedn_zewn_beax.jpg") pictureList.kif 10777-10777
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 5d/ Refrigeration.png") pictureList.kif 9981-9981
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Ice_crystals_at_refrigerator_window.JPG") pictureList.kif 10775-10775
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Klimatyzator_jedn_wewn_beax.jpg") pictureList.kif 10776-10776
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Cooling_tower.jpg") pictureList.kif 10781-10781
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ ab/ Air-cooling.jpg") pictureList.kif 10783-10783
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Empty_refrigerator.jpg") pictureList.kif 10773-10773
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Thermaltake_led_fans.jpg") pictureList.kif 10778-10778
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Solar_Cooling_System.jpg") pictureList.kif 10786-10786
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Geh%C3%A4usel%C3%BCfter.jpg") pictureList.kif 10779-10779
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Honeybee-cooling.jpg") pictureList.kif 10784-10784
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ RefrigerationTS.png") pictureList.kif 10771-10771
(subclass Cooling Decreasing) Merge.kif 10226-10226 Cooling is a subclass of decreasing

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


(disjoint Heating Cooling) Merge.kif 10185-10185 Heating is disjoint from cooling
(subclass VaporCompressionCycle Cooling) Cars.kif 2004-2004 Vapor compression cycle is a subclass of cooling
(termFormat ChineseLanguage Cooling "冷却") chinese_format.kif 1112-1112
(termFormat EnglishLanguage Cooling "cooling") english_format.kif 1446-1446

antecedent
-------------------------


(=>
    (and
        (instance ?COOL Cooling)
        (patient ?COOL ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))
Merge.kif 10231-10244
(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2169-2177
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2153-2161

consequent
-------------------------


(=>
    (and
        (instance ?ECS EngineCoolingSystem)
        (instance ?E Engine)
        (instance ?A Automobile)
        (part ?ECS ?A)
        (part ?E ?A))
    (hasPurpose ?ECS
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ECS)
                (patient ?C ?E)))))
Cars.kif 2129-2141
(=>
    (instance ?ACC AirConditioningCompressor)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 1996-2002
(=>
    (instance ?ACC AirConditioningCondenser)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 2040-2046
(=>
    (instance ?ACE AirConditioningEvaporator)
    (hasPurpose ?ACE
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACE)))))
Cars.kif 2064-2070
(=>
    (instance ?COND Condensing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?COND))))
Merge.kif 12951-12956
(=>
    (instance ?D CoolingDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 2747-2753
(=>
    (instance ?EF EngineFan)
    (hasPurpose ?EF
        (exists (?C ?E ?A)
            (and
                (instance ?A Automobile)
                (instance ?C Cooling)
                (instance ?E InternalCombustionEngine)
                (part ?E ?A)
                (part ?EF ?A)
                (instrument ?C ?EF)
                (patient ?C ?E)))))
Cars.kif 2737-2748
(=>
    (instance ?FREEZE Freezing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?FREEZE))))
Merge.kif 12972-12977
(=>
    (instance ?R Radiator)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?R)))))
Cars.kif 2187-2193


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 3.0 is open source software produced by Articulate Software and its partners