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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooling
Cooling
more pictures...

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。") Merge.kif 14976-14977
(documentation Cooling EnglishLanguage "Any Decreasing Process where the PhysicalQuantity decreased is a TemperatureMeasure.") Merge.kif 14973-14974
(documentation Cooling JapaneseLanguage "PhysicalQuantity が減少した任意の Decreasing ProcessTemperatureMeasure である。") Merge.kif 14979-14980
(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 14971-14971

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


(disjoint Heating Cooling) Merge.kif 14917-14917
(subclass VaporCompressionCycle Cooling) Cars.kif 2003-2003
(termFormat ChineseLanguage Cooling "冷却") chinese_format.kif 1112-1112
(termFormat EnglishLanguage Cooling "cooling") english_format.kif 2045-2045
(termFormat JapaneseLanguage Cooling "冷却") english_format.kif 2046-2046

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 14982-14995
(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2168-2176
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2152-2160

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 2128-2140
(=>
    (instance ?ACC AirConditioningCompressor)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 1995-2001
(=>
    (instance ?ACC AirConditioningCondenser)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 2039-2045
(=>
    (instance ?ACE AirConditioningEvaporator)
    (hasPurpose ?ACE
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACE)))))
Cars.kif 2063-2069
(=>
    (instance ?COND Condensing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?COND))))
Merge.kif 18336-18341
(=>
    (instance ?D CoolingDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 2746-2752
(=>
    (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 2733-2744
(=>
    (instance ?FREEZE Freezing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?FREEZE))))
Merge.kif 18359-18364
(=>
    (instance ?R Radiator)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?R)))))
Cars.kif 2186-2192


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