Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Bakery

 Sigma KEE - Bakery
Bakery(bakery)bakehouse, bakery, bakeshop, patisserie

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


(subclass Bakery Business) Dining.kif 65-65 Bakery is a subclass of business
(documentation Bakery EnglishLanguage "a type of Business that specializes in the production and selling of the result of the process Baking") Dining.kif 66-67 Bakery is a subclass of business

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


(termFormat EnglishLanguage Bakery "bakery") Dining.kif 68-68

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


(=>
    (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 If X is an instance of bakery, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of baking (3) Z is a result of W (4) Z is an instance of food for human (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners