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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Heating

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10791-10791 Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2985-2986
No TPTP formula. May not be expressible in strict first order. Merge.kif 10793-10794
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10055-10055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11151-11151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11152-11152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11154-11154
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11150-11150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11155-11155
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11146-11146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11153-11153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11145-11145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11147-11147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11148-11148
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11149-11149
No TPTP formula. May not be expressible in strict first order. Merge.kif 10790-10790 Heating is a subclass of increasing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20950-20950 Baking is a subclass of heating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1110-1110
No TPTP formula. May not be expressible in strict first order. english_format.kif 1437-1437

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10796-10809

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24620-24631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24608-24618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24661-24671
No TPTP formula. May not be expressible in strict first order. Food.kif 22-27
No TPTP formula. May not be expressible in strict first order. Food.kif 38-44
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5131-5140
No TPTP formula. May not be expressible in strict first order. Merge.kif 13686-13691
No TPTP formula. May not be expressible in strict first order. Merge.kif 12344-12351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2268-2274
No TPTP formula. May not be expressible in strict first order. Geography.kif 2446-2451
No TPTP formula. May not be expressible in strict first order. Economy.kif 4582-4596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24778-24786
No TPTP formula. May not be expressible in strict first order. Merge.kif 13665-13670
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26216-26226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25053-25061


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