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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Baking
Baking(baking)
bake, roast

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


(documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") Mid-level-ontology.kif 20927-20928
(externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") pictureList.kif 4525-4525
(subclass Baking Cooking) Mid-level-ontology.kif 20925-20925 Baking is a subclass of cooking
(subclass Baking Heating) Mid-level-ontology.kif 20926-20926 Baking is a subclass of heating

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


(termFormat ChineseLanguage Baking "烘烤") domainEnglishFormat.kif 9651-9651
(termFormat ChineseTraditionalLanguage Baking "烘烤") domainEnglishFormat.kif 9650-9650
(termFormat EnglishLanguage Baking "baking") domainEnglishFormat.kif 9649-9649

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


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

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


(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Mid-level-ontology.kif 20943-20950
(=>
    (instance ?BAKERY Bakery)
    (exists (?SERVICE ?FOOD ?BAKE)
        (and
            (instance ?BAKE Baking)
            (result ?BAKE ?FOOD)
            (instance ?FOOD
                (FoodForFn Human))
            (agent ?BAKE ?BAKERY)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?BAKERY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?FOOD))))
Dining.kif 70-81


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