more pictures...
| Cooling
more pictures... | |
| 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 10248-10249 | |
| (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 10246-10246 |
| appearance as argument number 2 |
|
|
| (disjoint Heating Cooling) | Merge.kif 10205-10205 | |
| (subclass VaporCompressionCycle Cooling) | Cars.kif 2004-2004 | |
| (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 10251-10264 | |
| (=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2169-2177 | |
| (=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L)))) |
Cars.kif 2153-2161 |
| 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 2129-2141 | |
| (=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC))))) |
Cars.kif 1996-2002 | |
| (=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC))))) |
Cars.kif 2040-2046 | |
| (=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACE))))) |
Cars.kif 2064-2070 | |
| (=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND)))) |
Merge.kif 12971-12976 | |
| (=> (instance ?D CoolingDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cooling) (instrument ?C ?D))))) |
Mid-level-ontology.kif 2747-2753 | |
| (=> (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 2737-2748 | |
| (=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE)))) |
Merge.kif 12992-12997 | |
| (=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R))))) |
Cars.kif 2187-2193 |
|
|
|