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 2397-2398
(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 2396-2396 Stove is a subclass of heating device
(subclass Stove MajorAppliance) Mid-level-ontology.kif 2341-2341 Stove is a subclass of major appliance

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


(termFormat ChineseLanguage Stove "火炉") domainEnglishFormat.kif 55557-55557
(termFormat ChineseTraditionalLanguage Stove "火爐") domainEnglishFormat.kif 55556-55556
(termFormat EnglishLanguage Stove "stove") domainEnglishFormat.kif 55555-55555

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


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


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