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 2306-2307
(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 2305-2305 Heating device is a subclass of device

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


(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 25177-25177 Iron is a subclass of heating device
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2317-2317 Oven is a subclass of heating device
(subclass RoomHeater HeatingDevice) Mid-level-ontology.kif 26839-26839 Room heater is a subclass of heating device
(subclass Stove HeatingDevice) Mid-level-ontology.kif 2330-2330 Stove is a subclass of heating device
(subclass WaterHeater HeatingDevice) Mid-level-ontology.kif 25660-25660 Water heater is a subclass of heating device
(termFormat ChineseLanguage HeatingDevice "加热装置") domainEnglishFormat.kif 27792-27792
(termFormat ChineseTraditionalLanguage HeatingDevice "加熱裝置") domainEnglishFormat.kif 27791-27791
(termFormat EnglishLanguage HeatingDevice "heating device") domainEnglishFormat.kif 27790-27790

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


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


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