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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeatingDevice
HeatingDevice(heating device)
bar, brasier, brazier, burner, defroster, deicer, demister, electric_furnace, gas_heat, gas_heater, heating_element, heating_pad, hot_pad, immersion_heater, kerosene_heater, kerosine_heater, oil_heater, oilstove, potbelly, potbelly_stove, solar_heater, spirit_stove, stove

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


(documentation HeatingDevice EnglishLanguage "A Device whose purpose is Heating something, e.g. electric heaters, heat lamps, ovens, stoves, etc.") Mid-level-ontology.kif 2299-2300
(externalImage HeatingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ Gas_range.svg/ 180px-Gas_range.svg.png") pictureList.kif 1134-1134
(subclass HeatingDevice Device) Mid-level-ontology.kif 2298-2298 Heating device is a subclass of device

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


(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 25497-25497 Iron is a subclass of heating device
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2310-2310 Oven is a subclass of heating device
(subclass RoomHeater HeatingDevice) Mid-level-ontology.kif 27135-27135 Room heater is a subclass of heating device
(subclass Stove HeatingDevice) Mid-level-ontology.kif 2323-2323 Stove is a subclass of heating device
(subclass WaterHeater HeatingDevice) Mid-level-ontology.kif 25956-25956 Water heater is a subclass of heating device
(termFormat ChineseLanguage HeatingDevice "加热装置") domainEnglishFormat.kif 27821-27821 Water heater is a subclass of heating device
(termFormat ChineseTraditionalLanguage HeatingDevice "加熱裝置") domainEnglishFormat.kif 27820-27820 Water heater is a subclass of heating device
(termFormat EnglishLanguage HeatingDevice "heating device") domainEnglishFormat.kif 27819-27819 Water heater is a subclass of heating device

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


(=>
    (instance ?D HeatingDevice)
    (hasPurpose ?D
        (exists (?H)
            (and
                (instance ?H Heating)
                (instrument ?H ?D)))))
Mid-level-ontology.kif 2302-2308


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