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 11021-11022
(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 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 11019-11019	Cooling is a subclass of decreasing

appearance as argument number 2

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

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 11024-11037	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2166-2174	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2150-2158	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other 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 2126-2138	If an object is an instance of engine cooling system and another object is an instance of engine and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object, then the object has the purpose there exists an entity such that the entity is an instance of cooling and the object is an instrument for the entity and the other object is a patient of the entity
(=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 1993-1999	If a physical is an instance of air conditioning compressor, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 2037-2043	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACE)))))	Cars.kif 2061-2067	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND))))	Merge.kif 14046-14051	If a process is an instance of condensing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process
(=> (instance ?D CoolingDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cooling) (instrument ?C ?D)))))	Mid-level-ontology.kif 2351-2357	If a physical is an instance of cooling device, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=> (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	If a physical is an instance of engine fan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of automobile and the entity is an instance of cooling and the other entity is an instance of internal combustion engine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
(=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE))))	Merge.kif 14067-14072	If a process is an instance of freezing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process
(=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R)))))	Cars.kif 2184-2190	If a physical is an instance of radiator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity

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: