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 2331-2332
(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 2330-2330
(subclass Stove MajorAppliance) Mid-level-ontology.kif 2275-2275

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


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

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


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


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