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 11053-11053 加热 和 % 2 是 disjoint
(documentation Heating ChineseLanguage "这是当正在增加的 PhysicalQuantity 是 TemperatureMeasure 的任何 Increasing Process。") chinese_format.kif 2985-2986 加热 和 % 2 是 disjoint
(documentation Heating EnglishLanguage "Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.") Merge.kif 11055-11056 加热 和 % 2 是 disjoint
(documentation Heating JapaneseLanguage "PhysicalQuantity が 増加した %Increasing Process は、TemperatureMeasure である。") japanese_format.kif 1745-1746 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG") pictureList.kif 10044-10044 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw_wit_gestreepte_tegels.JPG") pictureList.kif 11128-11128 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg") pictureList.kif 11129-11129 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg") pictureList.kif 11131-11131 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg") pictureList.kif 11127-11127 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG") pictureList.kif 11132-11132 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg") pictureList.kif 11123-11123 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg") pictureList.kif 11130-11130 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg") pictureList.kif 11122-11122 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg") pictureList.kif 11124-11124 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg") pictureList.kif 11125-11125 加热 和 % 2 是 disjoint
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg") pictureList.kif 11126-11126 加热 和 % 2 是 disjoint
(subclass Heating Increasing) Merge.kif 11052-11052 加热 是 增加 的 subclass

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


(subclass Baking Heating) Food.kif 1464-1464 烘烤 是 加热 的 subclass
(subclass DryRoasting Heating) Food.kif 122-122 DryRoasting 是 加热 的 subclass
(subclass EspressoMaking Heating) Food.kif 784-784 EspressoMaking 是 加热 的 subclass
(subclass FoamingMilk Heating) Food.kif 1176-1176 FoamingMilk 是 加热 的 subclass
(subclass Frying Heating) Food.kif 2574-2574 Frying 是 加热 的 subclass
(termFormat ChineseLanguage Heating "加热") chinese_format.kif 1110-1110 Frying 是 加热 的 subclass
(termFormat EnglishLanguage Heating "heating") english_format.kif 1437-1437 Frying 是 加热 的 subclass
(termFormat FrenchLanguage Heating "r�chauffer") french_format.kif 788-788 Frying 是 加热 的 subclass
(termFormat Hindi Heating "taapana") terms-hindi.txt 320-320 Frying 是 加热 的 subclass
(termFormat ItalianLanguage Heating "Riscaldamento") terms-it.txt 323-323 Frying 是 加热 的 subclass
(termFormat JapaneseLanguage Heating "加熱") japanese_format.kif 2472-2472 Frying 是 加热 的 subclass
(termFormat PortugueseLanguage Heating "Aquecer") portuguese_format.kif 740-740 Frying 是 加热 的 subclass
(termFormat cb Heating "pag-init") terms-cb.txt 325-325 Frying 是 加热 的 subclass
(termFormat cz Heating "zah��v�n�") terms-cz.txt 359-359 Frying 是 加热 的 subclass
(termFormat de Heating "Erhitzen") terms-de.txt 618-618 Frying 是 加热 的 subclass
(termFormat ro Heating "încãlzire") relations-ro.kif 809-809 Frying 是 加热 的 subclass
(termFormat tg Heating "painitin") terms-tg.txt 324-324 Frying 是 加热 的 subclass

antecedent
-------------------------


(=>
    (and
        (instance ?FM FoamingMilk)
        (patient ?FM ?M)
        (instance ?M ProcessedMilk)
        (instance ?H Heating)
        (subProcess ?H ?FM)
        (measure ?M
            (MeasureFn ?T CelsiusDegree)))
    (approximateValue ?T 70.0))		 Food.kif 1208-1217
(=>
    (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 11058-11071

consequent
-------------------------


(=>
    (and
        (instance ?B Object)
        (roastedToTemperature ?B ?T))
    (exists (?H)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (holdsDuring
                (EndFn
                    (WhenFn ?H))
                (measure ?B
                    (MeasureFn ?T CelsiusDegree))))))		 Food.kif 468-478
(=>
    (and
        (instance ?FM FoamingMilk)
        (instance ?M ProcessedMilk)
        (patient ?FM ?M))
    (exists (?H ?A ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?M)
            (instance ?A Aerating)
            (patient ?A ?M)
            (result ?A ?B)
            (instance ?B Bubble)
            (during
                (WhenFn ?A)
                (WhenFn ?H)))))		 Food.kif 1191-1206
(=>
    (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 26926-26937
(=>
    (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 26914-26924
(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))		 Food.kif 128-151
(=>
    (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 26967-26977
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC1 ?PROC2)
        (and
            (instance ?PROC1 Cooking)
            (instance ?PROC2 Heating)
            (subProcess ?PROC2 ?PROC1)
            (result ?PROC1 ?FOOD))))		 Food.kif 37-44
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Heating)
                (result ?PROC ?FOOD)))))		 Food.kif 55-61
(=>
    (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 6372-6381
(=>
    (instance ?BOIL Boiling)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?BOIL))))		 Merge.kif 14079-14084
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))		 Merge.kif 12730-12737
(=>
    (instance ?D HeatingDevice)
    (hasPurpose ?D
        (exists (?H)
            (and
                (instance ?H Heating)
                (instrument ?H ?D)))))		 Mid-level-ontology.kif 2772-2778
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 799-834
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))		 Geography.kif 2739-2744
(=>
    (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 5504-5518
(=>
    (instance ?L Lard)
    (exists (?H ?F ?P)
        (and
            (instance ?H Heating)
            (patient ?H ?F)
            (instance ?F FatTissue)
            (part ?F ?P)
            (instance ?P Pork)
            (result ?H ?L))))		 Food.kif 2897-2906
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))		 Food.kif 355-363
(=>
    (instance ?MELT Melting)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?MELT))))		 Merge.kif 14058-14063
(=>
    (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 3323-3338
(=>
    (instance ?S SoupStock)
    (exists (?H)
        (and
            (instance ?H Heating)
            (result ?H ?S))))		 Food.kif 1632-1637
(=>
    (instance ?T Tallow)
    (exists (?H ?S)
        (and
            (instance ?H Heating)
            (patient ?H ?S)
            (instance ?S Suet)
            (result ?H ?T))))		 Food.kif 2928-2935
(=>
    (instance ?W ValleyBreeze)
    (exists (?BOTTOM ?A ?H ?AIR ?M)
        (and
            (origin ?W ?BOTTOM)
            (bottom ?BOTTOM ?A)
            (instance ?A SlopedArea)
            (instance ?H Heating)
            (patient ?H ?AIR)
            (orientation ?AIR ?BOTTOM Above)
            (cause ?H ?M)
            (instance ?M MotionUpward)
            (subProcess ?M ?W))))		 Weather.kif 2146-2158
(=>
    (instance ?X CocoaLiquor)
    (exists (?H ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (instance ?B CocoaBean)
            (attribute ?B DryRoastAttribute)
            (attribute ?B HulledAttribute)
            (attribute ?B FermentedAttribute)
            (result ?H ?X)
            (holdsDuring ?H
                (attribute ?X Liquid)))))		 Food.kif 2456-2468
(=>
    (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 28743-28753
(=>
    (instance ?X WaterHeater)
    (hasPurpose ?X
        (exists (?HEAT ?WATER)
            (and
                (instance ?HEAT Heating)
                (instance ?WATER FreshWater)
                (patient ?HEAT ?WATER)
                (instrument ?HEAT ?X)))))		 Mid-level-ontology.kif 27560-27568

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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