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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Heating
Heating(heating)
more pictures...
adiabatic, advective, autoclave, bake, bream, broil, brooding, calefacient, calefaction, calefactive, calefactory, caloric, calorifacient, calorific, chafe, clarify, clinker, cook, diabatic, dielectric_heating, fire, free_burning, geothermal_energy, global_warming, greenhouse_effect, greenhouse_warming, heat, heat_energy, heat_flash, heat_of_condensation, heat_of_dissociation, heat_of_formation, heat_of_fusion, heat_of_solidification, heat_of_solution, heat_of_sublimation, heat_of_transformation, heat_of_vaporisation, heat_of_vaporization, heat_up, heating, heatless, hot_up, igneous, incalescence, incubation, induction_heating, intumescence, intumescency, latent_heat...

VerbNet: touch-20|chafe, other_cos-45.4|clarify, build-26.1|cook, cooking-45.3|heat, cooking-45.3|heat, cooking-45.3|heat, other_cos-45.4|liquify, other_cos-45.4|liquify, other_cos-45.4|liquify, other_cos-45.4|liquify, knead-26.5|melt, knead-26.5|melt, knead-26.5|melt, other_cos-45.4|sear, other_cos-45.4|sear, other_cos-45.4|vitrify, other_cos-45.4|warm, other_cos-45.4|warm,


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


s__disjoint(s__Heating,s__Cooling)

Merge.kif 10152-10152 Heating is disjoint from cooling
s__documentation(s__Heating,s__ChineseLanguage,'"这是当正在增加的 PhysicalQuantityTemperatureMeasure 的任何 Increasing Process。"')

chinese_format.kif 2985-2986
s__documentation(s__Heating,s__EnglishLanguage,'"Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure."')

Merge.kif 10154-10155
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG"')

pictureList.kif 10065-10065
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Radiator_op_blauw-wit-gestreepte_tegels.JPG"')

pictureList.kif 11162-11162
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Plustherm_induction_heater.jpg"')

pictureList.kif 11163-11163
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/2/ 26/ Electric_stove.jpg"')

pictureList.kif 11165-11165
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/3/ 34/ Cv_ketel.jpg"')

pictureList.kif 11161-11161
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ GE_Profile_stove.JPG"')

pictureList.kif 11166-11166
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Fu%C3%9FbodenheizungSteuerung.jpg"')

pictureList.kif 11157-11157
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Air_Conditioner.jpg"')

pictureList.kif 11164-11164
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Underfloor_heating_pipes.jpg"')

pictureList.kif 11156-11156
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/7/ 74/ Waterheater.jpg"')

pictureList.kif 11158-11158
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/9/ 9a/ Boiler_and_Cylinder.jpg"')

pictureList.kif 11159-11159
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/e/ e7/ NaturalFireplace.jpg"')

pictureList.kif 11160-11160
s__instance(s__Increasing,s__SetOrClass)

s__instance(s__Heating,s__SetOrClass)

s__subclass(s__Heating,s__Increasing)

Merge.kif 10151-10151 Heating is a subclass of increasing

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


s__subclass(s__Baking,s__Heating)

s__instance(s__Heating,s__SetOrClass)

s__instance(s__Baking,s__SetOrClass)

Mid-level-ontology.kif 19294-19294 Baking is a subclass of heating
s__termFormat(s__ChineseLanguage,s__Heating,'"加热"')

chinese_format.kif 1110-1110
s__termFormat(s__EnglishLanguage,s__Heating,'"heating"')

english_format.kif 1442-1442

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10157-10170

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


( ! [V__OBJ,V__I,V__FABRIC] :
   (s__instance(V__OBJ,s__Object) =>
     (s__instance(V__I,s__Ironing) &
       s__patient(V__I,V__OBJ)
     &
     s__part(V__FABRIC,V__OBJ)
   &
   s__instance(V__FABRIC,s__Fabric))
=>
( ? [V__IRON, V__HEAT] :
   ((s__instance(V__HEAT,s__Heating) &
       s__patient(V__HEAT,V__IRON)
     &
     s__instance(V__IRON,s__FabricIron) &
     s__instrument(V__I,V__IRON))))
)
)

Mid-level-ontology.kif 23167-23178
( ! [V__OBJ,V__I] :
   (s__instance(V__OBJ,s__Object) =>
     (s__instance(V__I,s__Ironing) &
       s__patient(V__I,V__OBJ))
   =>
   ( ? [V__HEAT, V__IRON, V__PART] :
     ((s__instance(V__IRON,s__Object) &
         s__instance(V__PART,s__Object) &
         (s__superficialPart(V__PART,V__OBJ)
         &
         s__instance(V__HEAT,s__Heating) &
         s__patient(V__HEAT,V__IRON)
       &
       s__patient(V__I,V__PART)
     &
     s__instrument(V__I,V__IRON)))))
)
)

Mid-level-ontology.kif 23155-23165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23208-23218
( ! [V__FOOD] :
   (s__instance(V__FOOD,s__Object) =>
     s__attribute(V__FOOD,s__CookedAttribute) =>
     ( ? [V__PROC] :
       ((s__instance(V__PROC,s__Heating) &
           s__result(V__PROC,V__FOOD))))
   )
)

Food.kif 22-27
( ! [V__FOOD] :
   (s__instance(V__FOOD,s__Object) =>
     s__attribute(V__FOOD,s__RawAttribute) =>
     ~(( ? [V__PROC] :
         ((s__instance(V__PROC,s__Heating) &
             s__result(V__PROC,V__FOOD)))))
   )
)

Food.kif 38-44
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5680-5689
( ! [V__BOIL] :
   (s__instance(V__BOIL,s__Boiling) =>
     ( ? [V__HEAT] :
       ((s__instance(V__HEAT,s__Heating) &
           s__subProcess(V__HEAT,V__BOIL))))
   )
)

Merge.kif 12885-12890
( ! [V__COMBUSTION] :
   (s__instance(V__COMBUSTION,s__Combustion) =>
     ( ? [V__HEAT, V__LIGHT] :
       ((s__instance(V__HEAT,s__Heating) &
           s__instance(V__LIGHT,s__RadiatingLight) &
           s__subProcess(V__HEAT,V__COMBUSTION)
         &
         s__subProcess(V__LIGHT,V__COMBUSTION))))
)
)

Merge.kif 11619-11626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2765-2771
( ! [V__ERUPTING] :
   (s__instance(V__ERUPTING,s__VolcanicEruption) =>
     ( ? [V__HEATING] :
       ((s__instance(V__HEATING,s__Heating) &
           s__subProcess(V__HEATING,V__ERUPTING))))
   )
)

Geography.kif 2384-2389
No TPTP formula. May not be expressible in strict first order. Economy.kif 4429-4443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23325-23333
( ! [V__MELT] :
   (s__instance(V__MELT,s__Melting) =>
     ( ? [V__HEAT] :
       ((s__instance(V__HEAT,s__Heating) &
           s__subProcess(V__HEAT,V__MELT))))
   )
)

Merge.kif 12864-12869
No TPTP formula. May not be expressible in strict first order. Cars.kif 3237-3252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25004-25014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23593-23601


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners