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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stove
Stove(stove)
Primus, Primus_stove, charcoal_burner, cooking_stove, cookstove, electric_range, kitchen_range, kitchen_stove, range, stove

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


(documentation Stove EnglishLanguage "A HeatingDevice which consists one or more burners for heating pots and pans of Food.") Mid-level-ontology.kif 2324-2325
(externalImage Stove "http://articulatesoftware.com/SUMOpictures/household/ kitchen/ stove.png") pictureList.kif 756-756
(externalImage Stove "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b4/ Gas_range.svg/ 180px-Gas_range.svg.png") pictureList.kif 1079-1079
(subclass Stove HeatingDevice) Mid-level-ontology.kif 2323-2323 Stove is a subclass of heating device
(subclass Stove MajorAppliance) Mid-level-ontology.kif 2268-2268 Stove is a subclass of major appliance

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


(termFormat ChineseLanguage Stove "火炉") domainEnglishFormat.kif 55564-55564
(termFormat ChineseTraditionalLanguage Stove "火爐") domainEnglishFormat.kif 55563-55563
(termFormat EnglishLanguage Stove "stove") domainEnglishFormat.kif 55562-55562

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


(=>
    (instance ?S Stove)
    (hasPurpose ?S
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?S)))))
Mid-level-ontology.kif 2327-2333


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