TreeView 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	Refroidir est une sous-classe de diminuer

appearance as argument number 2

(disjoint Heating Cooling)	Merge.kif 10949-10949	R�chauffer est disjoint de refroidir
(subclass VaporCompressionCycle Cooling)	Cars.kif 2000-2000	VaporCompressionCycle est une sous-classe de refroidir
(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	Processus est une instance de refroidir entit� est un patient de processus entit� nombre r�el and nombre r�el entit� est une instance de mesure de temperature entit� entit�(s) est nombre r�el pendant le d�but de temps d'existence de processus entit� entit�(s) est nombre r�el pendant la fin de temps d'existence de processus nombre r�el est moins que nombre r�el
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2165-2173	Objet est une instance de AirEngineCoolingSystem transf�re est une instance de refroidir objet est un instrument pour transf�re objet objet est une instance de Air objectTransferred transf�re and objet
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2149-2157	Objet est une instance de LiquidEngineCoolingSystem transf�re est une instance de refroidir objet est un instrument pour transf�re objet Liquid est un attribut de objet objectTransferred transf�re and objet

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	Objet est une instance de EngineCoolingSystem objet est une instance de Engine objet est une instance de Automobile objet est une partie de objet objet est une partie de objet objet a pour but entit� entit� est une instance de refroidir objet est un instrument pour entit� objet est un patient de entit�
(=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 1992-1998	Physique est une instance de AirConditioningCompressor physique a pour but entit� entit� est une instance de refroidir physique est un instrument pour entit�
(=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC)))))	Cars.kif 2036-2042	Physique est une instance de AirConditioningCondenser physique a pour but entit� entit� est une instance de refroidir physique est un instrument pour entit�
(=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACE)))))	Cars.kif 2060-2066	Physique est une instance de AirConditioningEvaporator physique a pour but entit� entit� est une instance de refroidir physique est un instrument pour entit�
(=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND))))	Merge.kif 14018-14023	Processus est une instance de condenser processus processus est une instance de refroidir processus est un sous-processus de processus
(=> (instance ?D CoolingDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cooling) (instrument ?C ?D)))))	Mid-level-ontology.kif 2278-2284	Physique est une instance de CoolingDevice physique a pour but entit� entit� est une instance de refroidir physique est un instrument pour entit�
(=> (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	Physique est une instance de EngineFan physique a pour but entit� entit� and entit� entit� est une instance de Automobile entit� est une instance de refroidir entit� est une instance de InternalCombustionEngine entit� est une partie de entit� physique est une partie de entit� physique est un instrument pour entit� entit� est un patient de entit�
(=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE))))	Merge.kif 14039-14044	Processus est une instance de congeler processus processus est une instance de refroidir processus est un sous-processus de processus
(=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R)))))	Cars.kif 2183-2189	Physique est une instance de Radiator physique a pour but entit� entit� est une instance de refroidir physique est un instrument pour entit�

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: