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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Heating

Sigma KEE - Heating
Heating(加热)
more pictures...

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


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

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


(subclass Baking Heating) Mid-level-ontology.kif 19281-19281 Baking加热subclass
(termFormat ChineseLanguage Heating "加热") chinese_format.kif 1110-1110 termFormat ChineseLanguage, 加热 and "加热"
(termFormat EnglishLanguage Heating "heating") english_format.kif 1407-1407 termFormat EnglishLanguage, 加热 and "heating"
(termFormat JapaneseLanguage Heating "加熱") english_format.kif 1408-1408 termFormat JapaneseLanguage, 加热 and "加熱"

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 10877-10890

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 23154-23165
(=>
    (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 23142-23152
(=>
    (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 23195-23205
(=>
    (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 5680-5689
(=>
    (instance ?BOIL Boiling)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?BOIL))))
Merge.kif 13921-13926
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))
Merge.kif 12483-12490
(=>
    (instance ?D HeatingDevice)
    (hasPurpose ?D
        (exists (?H)
            (and
                (instance ?H Heating)
                (instrument ?H ?D)))))
Mid-level-ontology.kif 2770-2776
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))
Geography.kif 2372-2377
(=>
    (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 ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))
Mid-level-ontology.kif 23312-23320
(=>
    (instance ?MELT Melting)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?MELT))))
Merge.kif 13898-13903
(=>
    (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 3230-3245
(=>
    (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 24991-25001
(=>
    (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 23580-23588


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners