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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Baking

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.") Food.kif 1465-1466
(externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") pictureList.kif 4523-4523
(subclass Baking Cooking) Food.kif 1463-1463 Baking is a subclass of cooking
(subclass Baking Heating) Food.kif 1464-1464 Baking is a subclass of heating

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


(termFormat ChineseLanguage Baking "烘烤") domainEnglishFormat.kif 9643-9643
(termFormat ChineseTraditionalLanguage Baking "烘烤") domainEnglishFormat.kif 9642-9642
(termFormat EnglishLanguage Baking "baking") domainEnglishFormat.kif 9641-9641

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


(=>
    (instance ?B Baking)
    (exists (?O)
        (and
            (instance ?O Oven)
            (instrument ?B ?O))))
Food.kif 1468-1473

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


(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Food.kif 1572-1579
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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