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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooling
Cooling
more pictures...

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 10263-10264
(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 10261-10261

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


(disjoint Heating Cooling) Merge.kif 10220-10220
(subclass VaporCompressionCycle Cooling) Cars.kif 2031-2031
(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 10266-10279
(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2196-2204
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2180-2188

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 2156-2168
(=>
    (instance ?ACC AirConditioningCompressor)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 2023-2029
(=>
    (instance ?ACC AirConditioningCondenser)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 2067-2073
(=>
    (instance ?ACE AirConditioningEvaporator)
    (hasPurpose ?ACE
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACE)))))
Cars.kif 2091-2097
(=>
    (instance ?COND Condensing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?COND))))
Merge.kif 12986-12991
(=>
    (instance ?D CoolingDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 2221-2227
(=>
    (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 2766-2777
(=>
    (instance ?FREEZE Freezing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?FREEZE))))
Merge.kif 13007-13012
(=>
    (instance ?R Radiator)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?R)))))
Cars.kif 2214-2220


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