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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeatingDevice
HeatingDevice(加热装置)

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 加热装置设备subclass

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


(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 25234-25234 FabricIron加热装置subclass
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2310-2310 烹饪烤箱加热装置subclass
(subclass RoomHeater HeatingDevice) Mid-level-ontology.kif 26872-26872 RoomHeater加热装置subclass
(subclass Stove HeatingDevice) Mid-level-ontology.kif 2323-2323 火炉加热装置subclass
(subclass WaterHeater HeatingDevice) Mid-level-ontology.kif 25693-25693 WaterHeater加热装置subclass
(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 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