Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Heating
Heating
more pictures...

appearance as argument number 1
-------------------------


(disjoint Heating Cooling) Merge.kif 10471-10471
(documentation Heating ChineseLanguage "这是当正在增加的 PhysicalQuantityTemperatureMeasure 的任何 Increasing Process。") chinese_format.kif 2985-2986
(documentation Heating EnglishLanguage "Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.") Merge.kif 10473-10474
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG") pictureList.kif 10064-10064
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw-wit-gestreepte_tegels.JPG") pictureList.kif 11160-11160
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg") pictureList.kif 11161-11161
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg") pictureList.kif 11163-11163
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg") pictureList.kif 11159-11159
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG") pictureList.kif 11164-11164
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg") pictureList.kif 11155-11155
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg") pictureList.kif 11162-11162
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg") pictureList.kif 11154-11154
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg") pictureList.kif 11156-11156
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg") pictureList.kif 11157-11157
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg") pictureList.kif 11158-11158
(subclass Heating Increasing) Merge.kif 10470-10470

appearance as argument number 2
-------------------------


(subclass Baking Heating) Mid-level-ontology.kif 20595-20595
(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 10476-10489

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 24265-24276
(=>
    (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 24253-24263
(=>
    (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 24306-24316
(=>
    (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 5104-5113
(=>
    (instance ?BOIL Boiling)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?BOIL))))
Merge.kif 13295-13300
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))
Merge.kif 11976-11983
(=>
    (instance ?D HeatingDevice)
    (hasPurpose ?D
        (exists (?H)
            (and
                (instance ?H Heating)
                (instrument ?H ?D)))))
Mid-level-ontology.kif 2247-2253
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))
Geography.kif 2405-2410
(=>
    (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 4432-4446
(=>
    (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 24423-24431
(=>
    (instance ?MELT Melting)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?MELT))))
Merge.kif 13274-13279
(=>
    (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 25863-25873
(=>
    (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 24700-24708


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