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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EquivalenceRelation

Sigma KEE - Baking
Baking
حمّص,

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


(documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") Mid-level-ontology.kif 18863-18864
(externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") pictureList.kif 4525-4525
(subclass Baking Cooking) Mid-level-ontology.kif 18861-18861
(subclass Baking Heating) Mid-level-ontology.kif 18862-18862

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


(subclass Toasting Baking) Society.kif 932-932
(termFormat EnglishLanguage Baking "baking") domainEnglishFormat.kif 2042-2042

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


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

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


(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Mid-level-ontology.kif 18877-18884
(=>
    (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
(=>
    (instance ?T ElectricToaster)
    (hasPurpose ?T
        (exists (?TOASTING)
            (and
                (instance ?TOASTING Baking)
                (instrument ?TOASTING ?T)))))
Society.kif 938-944


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