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...

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


s__disjoint(s__Heating,s__Cooling)

Merge.kif 10438-10438 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 10440-10441
s__externalImage(s__Heating,'"http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Air_handling_unit.JPG"')

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

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

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

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

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

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

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

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

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

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

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

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

s__instance(s__Heating,s__SetOrClass)

s__subclass(s__Heating,s__Increasing)

Merge.kif 10437-10437 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 19699-19699 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 10443-10456

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 23371-23382
( ! [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 23359-23369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23412-23422
( ! [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 5101-5110
( ! [V__BOIL] :
   ((s__instance(V__BOIL,s__Boiling) =>
       (( ? [V__HEAT] :
           ((s__instance(V__HEAT,s__Heating) &
               s__subProcess(V__HEAT,V__BOIL))))))
   )
)

Merge.kif 13262-13267
( ! [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 11943-11950
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2245-2251
( ! [V__ERUPTING] :
   ((s__instance(V__ERUPTING,s__VolcanicEruption) =>
       (( ? [V__HEATING] :
           ((s__instance(V__HEATING,s__Heating) &
               s__subProcess(V__HEATING,V__ERUPTING))))))
   )
)

Geography.kif 2405-2410
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 23529-23537
( ! [V__MELT] :
   ((s__instance(V__MELT,s__Melting) =>
       (( ? [V__HEAT] :
           ((s__instance(V__HEAT,s__Heating) &
               s__subProcess(V__HEAT,V__MELT))))))
   )
)

Merge.kif 13241-13246
No TPTP formula. May not be expressible in strict first order. Cars.kif 3276-3291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24954-24964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23792-23800


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