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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oven
Oven(oven)
Dutch_oven, broiler, gas_oven, oven, tandoor

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


(documentation Oven EnglishLanguage "A HeatingDevice with a door for inserting and removing Food that is to undergo Baking.") Mid-level-ontology.kif 2775-2776
(externalImage Oven "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Oven.agr.jpg") pictureList.kif 144-144
(subclass Oven Container) Mid-level-ontology.kif 2774-2774 Oven is a subclass of container
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2773-2773 Oven is a subclass of heating device
(subclass Oven MajorAppliance) Mid-level-ontology.kif 2732-2732 Oven is a subclass of major appliance

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


(termFormat ChineseLanguage Oven "烤箱") domainEnglishFormat.kif 43621-43621
(termFormat ChineseLanguage Oven "烹饪烤箱") domainEnglishFormat.kif 17089-17089
(termFormat ChineseTraditionalLanguage Oven "烤箱") domainEnglishFormat.kif 43620-43620
(termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") domainEnglishFormat.kif 17088-17088
(termFormat EnglishLanguage Oven "oven") domainEnglishFormat.kif 43619-43619

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


(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))
Mid-level-ontology.kif 2778-2784

consequent
-------------------------


(=>
    (instance ?B Baking)
    (exists (?O)
        (and
            (instance ?O Oven)
            (instrument ?B ?O))))
Mid-level-ontology.kif 19297-19302


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners