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 10942-10943 | |
| (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 10753-10753 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Helium_dilution_refrigerator.jpg") | pictureList.kif 10755-10755 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Victoria_Air_Cooling.jpg") | pictureList.kif 10766-10766 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Global_Cooling_Map.png") | pictureList.kif 10763-10763 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Watercoolingvue1.jpg") | pictureList.kif 10761-10761 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/5/ 57/ Klimatyzator_jedn_zewn_beax.jpg") | pictureList.kif 10758-10758 | |
| (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 10756-10756 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Klimatyzator_jedn_wewn_beax.jpg") | pictureList.kif 10757-10757 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Cooling_tower.jpg") | pictureList.kif 10762-10762 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/a/ ab/ Air-cooling.jpg") | pictureList.kif 10764-10764 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Empty_refrigerator.jpg") | pictureList.kif 10754-10754 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Thermaltake_led_fans.jpg") | pictureList.kif 10759-10759 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Solar_Cooling_System.jpg") | pictureList.kif 10767-10767 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Geh%C3%A4usel%C3%BCfter.jpg") | pictureList.kif 10760-10760 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Honeybee-cooling.jpg") | pictureList.kif 10765-10765 | |
| (externalImage Cooling "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ RefrigerationTS.png") | pictureList.kif 10752-10752 | |
| (subclass Cooling Decreasing) | Merge.kif 10940-10940 | 冷却 是 减少 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Heating Cooling) | Merge.kif 10899-10899 | 加热 和 % 2 是 disjoint |
| (subclass VaporCompressionCycle Cooling) | Cars.kif 2017-2017 | VaporCompressionCycle 是 冷却 的 subclass |
| (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 10945-10958 | |
| (=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2182-2190 | |
| (=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L)))) |
Cars.kif 2166-2174 |
| 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 2142-2154 | |
| (=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC))))) |
Cars.kif 2009-2015 | |
| (=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC))))) |
Cars.kif 2053-2059 | |
| (=> (instance ?ACE AirConditioningEvaporator) (hasPurpose ?ACE (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACE))))) |
Cars.kif 2077-2083 | |
| (=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND)))) |
Merge.kif 13942-13947 | |
| (=> (instance ?D CoolingDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cooling) (instrument ?C ?D))))) |
Mid-level-ontology.kif 2257-2263 | |
| (=> (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 2752-2763 | |
| (=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE)))) |
Merge.kif 13963-13968 | |
| (=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R))))) |
Cars.kif 2200-2206 |
|
|
|