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 11096-11097
(documentation Cooling JapaneseLanguage "PhysicalQuantity が減少した任意の Decreasing ProcessTemperatureMeasure である。") japanese_format.kif 1749-1750
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Inside_domestic_refrigerator_.JPG") pictureList.kif 10749-10749
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Helium_dilution_refrigerator.jpg") pictureList.kif 10751-10751
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Victoria_Air_Cooling.jpg") pictureList.kif 10762-10762
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Global_Cooling_Map.png") pictureList.kif 10759-10759
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Watercoolingvue1.jpg") pictureList.kif 10757-10757
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Klimatyzator_jedn_zewn_beax.jpg") pictureList.kif 10754-10754
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 5d/ Refrigeration.png") pictureList.kif 9962-9962
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Ice_crystals_at_refrigerator_window.JPG") pictureList.kif 10752-10752
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Klimatyzator_jedn_wewn_beax.jpg") pictureList.kif 10753-10753
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Cooling_tower.jpg") pictureList.kif 10758-10758
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ ab/ Air_cooling.jpg") pictureList.kif 10760-10760
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Empty_refrigerator.jpg") pictureList.kif 10750-10750
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Thermaltake_led_fans.jpg") pictureList.kif 10755-10755
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Solar_Cooling_System.jpg") pictureList.kif 10763-10763
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Geh%C3%A4usel%C3%BCfter.jpg") pictureList.kif 10756-10756
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Honeybee_cooling.jpg") pictureList.kif 10761-10761
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ RefrigerationTS.png") pictureList.kif 10748-10748
(subclass Cooling Decreasing) Merge.kif 11094-11094

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


(disjoint Heating Cooling) Merge.kif 11053-11053
(subclass VaporCompressionCycle Cooling) Cars.kif 2001-2001
(termFormat ChineseLanguage Cooling "冷却") chinese_format.kif 1112-1112
(termFormat EnglishLanguage Cooling "cooling") english_format.kif 1441-1441
(termFormat FrenchLanguage Cooling "refroidir") french_format.kif 790-790
(termFormat Hindi Cooling "shiitalataa") terms-hindi.txt 322-322
(termFormat ItalianLanguage Cooling "Raffreddamento") terms-it.txt 325-325
(termFormat JapaneseLanguage Cooling "冷却") japanese_format.kif 2474-2474
(termFormat PortugueseLanguage Cooling "Resfriar") portuguese_format.kif 742-742
(termFormat cb Cooling "pagbugnaw") terms-cb.txt 327-327
(termFormat cz Cooling "ochlazov�n�") terms-cz.txt 361-361
(termFormat de Cooling "Abkuehlen") terms-de.txt 620-620
(termFormat ro Cooling "rãcire") relations-ro.kif 811-811
(termFormat tg Cooling "pinapalamig") terms-tg.txt 326-326

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 11099-11112
(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2166-2174
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2150-2158

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 2126-2138
(=>
    (instance ?ACC AirConditioningCompressor)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 1993-1999
(=>
    (instance ?ACC AirConditioningCondenser)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))
Cars.kif 2037-2043
(=>
    (instance ?ACE AirConditioningEvaporator)
    (hasPurpose ?ACE
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACE)))))
Cars.kif 2061-2067
(=>
    (instance ?COND Condensing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?COND))))
Merge.kif 14125-14130
(=>
    (instance ?D CoolingDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 2748-2754
(=>
    (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 2736-2747
(=>
    (instance ?FREEZE Freezing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?FREEZE))))
Merge.kif 14146-14151
(=>
    (instance ?R Radiator)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?R)))))
Cars.kif 2184-2190


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