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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeatingDevice

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 2242-2243
(externalImage HeatingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b4/ Gas_range.svg/ 180px-Gas_range.svg.png") pictureList.kif 1135-1135
(subclass HeatingDevice Device) Mid-level-ontology.kif 2241-2241

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


(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 24481-24481
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2253-2253
(subclass RoomHeater HeatingDevice) Mid-level-ontology.kif 26159-26159
(subclass Stove HeatingDevice) Mid-level-ontology.kif 2266-2266
(subclass WaterHeater HeatingDevice) Mid-level-ontology.kif 24999-24999
(termFormat ChineseLanguage HeatingDevice "加热装置") domainEnglishFormat.kif 27783-27783
(termFormat ChineseTraditionalLanguage HeatingDevice "加熱裝置") domainEnglishFormat.kif 27782-27782
(termFormat EnglishLanguage HeatingDevice "heating device") domainEnglishFormat.kif 27781-27781

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


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


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