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 10915-10915 加熱冷却disjoint では %n
(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 10917-10918
(documentation Heating JapaneseLanguage "PhysicalQuantity が 増加した %Increasing Process は、TemperatureMeasure である。") japanese_format.kif 1745-1746
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG") pictureList.kif 10046-10046
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw-wit-gestreepte_tegels.JPG") pictureList.kif 11135-11135
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg") pictureList.kif 11136-11136
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg") pictureList.kif 11138-11138
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg") pictureList.kif 11134-11134
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG") pictureList.kif 11139-11139
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg") pictureList.kif 11130-11130
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg") pictureList.kif 11137-11137
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg") pictureList.kif 11129-11129
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg") pictureList.kif 11131-11131
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg") pictureList.kif 11132-11132
(externalImage Heating "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg") pictureList.kif 11133-11133
(subclass Heating Increasing) Merge.kif 10914-10914 加熱増加subclass では %n

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


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

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 1207-1216
(=>
    (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 10920-10933

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 1190-1205
(=>
    (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 25264-25275
(=>
    (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 25252-25262
(=>
    (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 25305-25315
(=>
    (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 5435-5444
(=>
    (instance ?BOIL Boiling)
    (exists (?HEAT)
        (and
            (instance ?HEAT Heating)
            (subProcess ?HEAT ?BOIL))))
Merge.kif 13926-13931
(=>
    (instance ?COMBUSTION Combustion)
    (exists (?HEAT ?LIGHT)
        (and
            (instance ?HEAT Heating)
            (instance ?LIGHT RadiatingLight)
            (subProcess ?HEAT ?COMBUSTION)
            (subProcess ?LIGHT ?COMBUSTION))))
Merge.kif 12576-12583
(=>
    (instance ?D HeatingDevice)
    (hasPurpose ?D
        (exists (?H)
            (and
                (instance ?H Heating)
                (instrument ?H ?D)))))
Mid-level-ontology.kif 2309-2315
(=>
    (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 2443-2448
(=>
    (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 5163-5177
(=>
    (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 2890-2899
(=>
    (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 13905-13910
(=>
    (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 ?S SoupStock)
    (exists (?H)
        (and
            (instance ?H Heating)
            (result ?H ?S))))
Food.kif 1626-1631
(=>
    (instance ?T Tallow)
    (exists (?H ?S)
        (and
            (instance ?H Heating)
            (patient ?H ?S)
            (instance ?S Suet)
            (result ?H ?T))))
Food.kif 2921-2928
(=>
    (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 2449-2461
(=>
    (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 26844-26854
(=>
    (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 25662-25670


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 3.0 is open source software produced by Articulate Software and its partners