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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stove
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
(subclass Stove MajorAppliance) Mid-level-ontology.kif 2268-2268

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


(termFormat ChineseLanguage Stove "火炉") domainEnglishFormat.kif 55526-55526
(termFormat ChineseTraditionalLanguage Stove "火爐") domainEnglishFormat.kif 55525-55525
(termFormat EnglishLanguage Stove "stove") domainEnglishFormat.kif 55524-55524

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