Heating - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Heating Cooling)	Merge.kif 10185-10185	disjoint Heating and 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 10187-10188
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG")	pictureList.kif 10065-10065
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw-wit-gestreepte_tegels.JPG")	pictureList.kif 11162-11162
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg")	pictureList.kif 11163-11163
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg")	pictureList.kif 11165-11165
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg")	pictureList.kif 11161-11161
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG")	pictureList.kif 11166-11166
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg")	pictureList.kif 11157-11157
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg")	pictureList.kif 11164-11164
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg")	pictureList.kif 11156-11156
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg")	pictureList.kif 11158-11158
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg")	pictureList.kif 11159-11159
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg")	pictureList.kif 11160-11160
(subclass Heating Increasing)	Merge.kif 10184-10184	subclass Heating and Increasing

appearance as argument number 2

(subclass Baking Heating)	Mid-level-ontology.kif 19319-19319	subclass Baking and Heating
(termFormat ChineseLanguage Heating "加热")	chinese_format.kif 1110-1110
(termFormat EnglishLanguage Heating "heating")	english_format.kif 1442-1442

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 10190-10203

instance Process and Heating patient Process and Entity
Entity Quantity and Quantity instance Entity and TemperatureMeasure holdsDuring BeginFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity holdsDuring EndFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity greaterThan Quantity and Quantity

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 23192-23203	instance Process and Ironing patient Process and Object part Object and Object instance Object and Fabric ProcessRON Process instance Process and Heating patient Process and ProcessRON instance ProcessRON and FabricIron instrument Process and ProcessRON
(=> (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 23180-23190	instance Process and Ironing patient Process and Object Process ProcessRON and Object superficialPart Object and Object instance Process and Heating patient Process and ProcessRON patient Process and Object instrument Process and ProcessRON
(=> (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 23233-23243	instance Object and HotTub located Physical and Object instance Physical and Water modalAttribute entity instance entity and Heating instrument entity and Object patient entity and Physical and Possibility
(=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD))))	Food.kif 22-27	attribute Object and CookedAttribute Process instance Process and Heating result Process and Object
(=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD)))))	Food.kif 38-44	attribute Object and RawAttribute Process instance Process and Heating result Process and Object
(=> (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 5686-5695	instance Physical and Blanket hasPurpose Physical and entity entity and entity instance entity and Heating patient entity and entity instance entity and Human located entity and entity instance entity and Bed
(=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL))))	Merge.kif 12912-12917	instance Process and Boiling Process instance Process and Heating subProcess Process and Process
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 11649-11656	instance Process and Combustion Process Process instance Process and Heating instance Process and RadiatingLight subProcess Process and Process subProcess Process and Process
(=> (instance ?D HeatingDevice) (hasPurpose ?D (exists (?H) (and (instance ?H Heating) (instrument ?H ?D)))))	Mid-level-ontology.kif 2771-2777	instance Physical and HeatingDevice hasPurpose Physical and entity instance entity and Heating instrument entity and Physical
(=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING))))	Geography.kif 2384-2389	instance Process and VolcanicEruption Process instance Process and Heating subProcess Process and Process
(=> (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 4429-4443	instance Physical and HeatSealer hasPurpose Physical and entity entity, entity and entity instance entity and Container instance entity and Plastic instance entity and Closing instance entity and Heating instrument entity and Physical instrument entity and entity agent entity and Physical patient entity and entity result entity and entity patient entity and entity
(=> (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 23350-23358	instance Physical and Microwave hasPurpose Physical and entity entity instance entity and PreparedFood instance entity and Heating instrument entity and Physical patient entity and entity
(=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT))))	Merge.kif 12891-12896	instance Process and Melting Process instance Process and Heating subProcess Process and Process
(=> (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 3237-3252	instance Physical and ManifoldHeatControlValve hasPurpose Physical and entity entity, entity, entity and entity instance entity and Heating instance entity and Opening instance entity and Exhaust instance entity and Transfer instance entity and FuelVapor patient entity and Physical instrument entity and entity patient entity and entity path entity and Physical causes entity and entity causes entity and entity
(=> (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 25029-25039	instance Physical and RoomHeater hasPurpose Physical and entity entity and entity instance entity and Air instance entity and Room located entity and entity instance entity and Heating patient entity and entity instrument entity and Physical
(=> (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 23618-23626	instance Physical and WaterHeater hasPurpose Physical and entity entity instance entity and Heating instance entity and Water patient entity and entity instrument entity and Physical

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: