![]() |
appearance as argument number 1 |
![]() |
(disjoint Heating Cooling) | Merge.kif 10785-10785 | Heating is disjoint from cooling |
(documentation Heating ChineseLanguage "这是当正在增加的 PhysicalQuantity 是 TemperatureMeasure 的任何 Increasing Process。") | chinese_format.kif 2985-2986 | |
(documentation Heating EnglishLanguage "Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.") | Merge.kif 10787-10788 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG") | pictureList.kif 10055-10055 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw-wit-gestreepte_tegels.JPG") | pictureList.kif 11151-11151 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg") | pictureList.kif 11152-11152 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg") | pictureList.kif 11154-11154 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg") | pictureList.kif 11150-11150 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG") | pictureList.kif 11155-11155 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg") | pictureList.kif 11146-11146 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg") | pictureList.kif 11153-11153 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg") | pictureList.kif 11145-11145 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg") | pictureList.kif 11147-11147 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg") | pictureList.kif 11148-11148 | |
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg") | pictureList.kif 11149-11149 | |
(subclass Heating Increasing) | Merge.kif 10784-10784 | Heating is a subclass of increasing |
appearance as argument number 2 |
![]() |
(subclass Baking Heating) | Mid-level-ontology.kif 20946-20946 | Baking is a subclass of heating |
(termFormat ChineseLanguage Heating "加热") | chinese_format.kif 1110-1110 | |
(termFormat EnglishLanguage Heating "heating") | english_format.kif 1437-1437 |
antecedent |
![]() |
(=> (and (instance ?HEAT Heating) (patient ?HEAT ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (instance ?UNIT TemperatureMeasure) (holdsDuring (BeginFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10790-10803 |
|
consequent |
![]() |
(=> (and (instance ?I Ironing) (patient ?I ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric)) (exists (?IRON ?HEAT) (and (instance ?HEAT Heating) (patient ?HEAT ?IRON) (instance ?IRON FabricIron) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 24616-24627 |
|
(=> (and (instance ?I Ironing) (patient ?I ?OBJ)) (exists (?HEAT ?IRON ?PART) (and (superficialPart ?PART ?OBJ) (instance ?HEAT Heating) (patient ?HEAT ?IRON) (patient ?I ?PART) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 24604-24614 |
|
(=> (and (instance ?X HotTub) (located ?WATER ?X) (instance ?WATER Water)) (modalAttribute (exists (?HEAT) (and (instance ?HEAT Heating) (instrument ?HEAT ?X) (patient ?HEAT ?WATER))) Possibility)) |
Mid-level-ontology.kif 24657-24667 |
|
(=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD)))) |
Food.kif 22-27 |
|
(=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD))))) |
Food.kif 38-44 |
|
(=> (instance ?BLANKET Blanket) (hasPurpose ?BLANKET (exists (?HEAT ?PERSON ?BED) (and (instance ?HEAT Heating) (patient ?HEAT ?PERSON) (instance ?PERSON Human) (located ?PERSON ?BED) (instance ?BED Bed))))) |
Mid-level-ontology.kif 5127-5136 |
|
(=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL)))) |
Merge.kif 13680-13685 |
|
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12338-12345 |
|
(=> (instance ?D HeatingDevice) (hasPurpose ?D (exists (?H) (and (instance ?H Heating) (instrument ?H ?D))))) |
Mid-level-ontology.kif 2264-2270 |
|
(=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING)))) |
Geography.kif 2446-2451 |
|
(=> (instance ?HS HeatSealer) (hasPurpose ?HS (exists (?CLOSE ?PLAST ?CONT ?HEAT) (and (instance ?CONT Container) (instance ?PLAST Plastic) (instance ?CLOSE Closing) (instance ?HEAT Heating) (instrument ?CLOSE ?HS) (instrument ?CLOSE ?PLAST) (agent ?HEAT ?HS) (patient ?HEAT ?PLAST) (result ?HEAT ?CLOSE) (patient ?CLOSE ?CONT))))) |
Economy.kif 4582-4596 |
|
(=> (instance ?M Microwave) (hasPurpose ?M (exists (?FOOD ?HEATING) (and (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?M) (patient ?HEATING ?FOOD))))) |
Mid-level-ontology.kif 24774-24782 |
|
(=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT)))) |
Merge.kif 13659-13664 |
|
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H))))) |
Cars.kif 3262-3277 |
|
(=> (instance ?X RoomHeater) (hasPurpose ?X (exists (?AIR ?HEATING ?ROOM) (and (instance ?AIR Air) (instance ?ROOM Room) (located ?AIR ?ROOM) (instance ?HEATING Heating) (patient ?HEATING ?AIR) (instrument ?HEATING ?X))))) |
Mid-level-ontology.kif 26212-26222 |
|
(=> (instance ?X WaterHeater) (hasPurpose ?X (exists (?HEAT ?WATER) (and (instance ?HEAT Heating) (instance ?WATER Water) (patient ?HEAT ?WATER) (instrument ?HEAT ?X))))) |
Mid-level-ontology.kif 25049-25057 |
|
![]() |
![]() |