Cooling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Cooling ChineseLanguage "这是当正在减少的 PhysicalQuantity 是 TemperatureMeasure 的任何 Decreasing Process。")	chinese_format.kif 2989-2990
(documentation Cooling EnglishLanguage "Any Decreasing Process where the PhysicalQuantity decreased is a TemperatureMeasure.")	Merge.kif 10992-10993
(documentation Cooling JapaneseLanguage "PhysicalQuantity が減少した任意の Decreasing Process は TemperatureMeasure である。")	japanese_format.kif 1749-1750
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Inside_domestic_refrigerator_.JPG")	pictureList.kif 10751-10751
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Helium_dilution_refrigerator.jpg")	pictureList.kif 10753-10753
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Victoria_Air_Cooling.jpg")	pictureList.kif 10764-10764
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Global_Cooling_Map.png")	pictureList.kif 10761-10761
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Watercoolingvue1.jpg")	pictureList.kif 10759-10759
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Klimatyzator_jedn_zewn_beax.jpg")	pictureList.kif 10756-10756
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 5d/ Refrigeration.png")	pictureList.kif 9963-9963
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Ice_crystals_at_refrigerator_window.JPG")	pictureList.kif 10754-10754
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Klimatyzator_jedn_wewn_beax.jpg")	pictureList.kif 10755-10755
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Cooling_tower.jpg")	pictureList.kif 10760-10760
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ ab/ Air-cooling.jpg")	pictureList.kif 10762-10762
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Empty_refrigerator.jpg")	pictureList.kif 10752-10752
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Thermaltake_led_fans.jpg")	pictureList.kif 10757-10757
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Solar_Cooling_System.jpg")	pictureList.kif 10765-10765
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Geh%C3%A4usel%C3%BCfter.jpg")	pictureList.kif 10758-10758
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Honeybee-cooling.jpg")	pictureList.kif 10763-10763
(externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ RefrigerationTS.png")	pictureList.kif 10750-10750
(subclass Cooling Decreasing)	Merge.kif 10990-10990	Cooling ist eine teilkategorie von Decreasing

appearance as argument number 2

(disjoint Heating Cooling)	Merge.kif 10949-10949	Heating ist dijunkt von Cooling %n{nicht}
(subclass VaporCompressionCycle Cooling)	Cars.kif 2000-2000	VaporCompressionCycle ist eine teilkategorie von Cooling
(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 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 10995-11008	Wenn Process ist ein fall von Cooling %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Entity, RealNumber, and und RealNumber um Entity ist ein fall von TemperatureMeasure %n{nicht} und Entity Entity(s) ist gleich RealNumber %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity Entity(s) ist gleich RealNumber %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht} und RealNumber ist kleinerAls ** RealNumber %n{nicht}
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2165-2173	Wenn Object ist ein fall von AirEngineCoolingSystem %n{nicht} und Transfer ist ein fall von Cooling %n{nicht} und Object ist ein instrument fuer Transfer %n{nicht}, dann es gibt Object um Object ist ein fall von Air %n{nicht} und objectTransferred Transfer and Object
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2149-2157	Wenn Object ist ein fall von LiquidEngineCoolingSystem %n{nicht} und Transfer ist ein fall von Cooling %n{nicht} und Object ist ein instrument fuer Transfer %n{nicht}, dann es gibt Object um Liquid ist ein attribut von Object %n{nicht} und objectTransferred Transfer and Object

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 2125-2137	Wenn Object ist ein fall von EngineCoolingSystem %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und Object ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 1992-1998	Wenn Physical ist ein fall von AirConditioningCompressor %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 2036-2042	Wenn Physical ist ein fall von AirConditioningCondenser %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACE)))))	Cars.kif 2060-2066	Wenn Physical ist ein fall von AirConditioningEvaporator %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND))))	Merge.kif 14018-14023	Wenn Process ist ein fall von Condensing %n{nicht}, dann es gibt Process um Process ist ein fall von Cooling %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?D CoolingDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cooling) (instrument ?C ?D)))))	Mid-level-ontology.kif 2278-2284	Wenn Physical ist ein fall von CoolingDevice %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (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 2735-2746	Wenn Physical ist ein fall von EngineFan %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Automobile %n{nicht} und entity ist ein fall von Cooling %n{nicht} und entity ist ein fall von InternalCombustionEngine %n{nicht} und entity ist ein teil von entity %n{nicht} und Physical ist ein teil von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE))))	Merge.kif 14039-14044	Wenn Process ist ein fall von Freezing %n{nicht}, dann es gibt Process um Process ist ein fall von Cooling %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R)))))	Cars.kif 2183-2189	Wenn Physical ist ein fall von Radiator %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}

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

KB Term:			Term intersection

English Word: