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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooking
Cooking(cooking)
acerbate, baking, barbecue, barbecued, barbecuing, barbeque, baste, basting, beat, blacken, blanch, boil, boil_down, boiled, boiling, braise, braising, broil, broiling, browning, can, caramelise, caramelize, char, churn, clabber, clot, coddle, concentrate, concoct, conserve, cook, cook_out, cook_up, cookery, cooking, corn, cream, culinary, curdle, decoct, deglaze, dehydrate, desiccate, devil, draw, dress, dress_out, dun, farce...

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


s__documentation(s__Cooking,s__ChineseLanguage,'"这是 Making Foodinstance。注:这包括任何 准备 Food 的过程,例如:做沙拉和切开水果等,它不一定涉及应用热能来处理食物。"')

chinese_format.kif 3224-3225
s__documentation(s__Cooking,s__EnglishLanguage,'"The Making of an instance of Food. Note that this can cover any preparation of Food, e.g. making a salad, cutting up fruit, etc. It does not necessarily involve the application of heat."')

Merge.kif 12210-12213
s__externalImage(s__Cooking,'"http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg"')

pictureList.kif 4630-4630
s__instance(s__Cooking,s__SetOrClass)

s__instance(s__Making,s__SetOrClass)

s__subclass(s__Cooking,s__Making)

Merge.kif 12209-12209 Cooking is a subclass of making

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


s__instance(s__Cooking,s__SetOrClass)

s__instance(s__Baking,s__SetOrClass)

s__subclass(s__Baking,s__Cooking)

Mid-level-ontology.kif 19698-19698 Baking is a subclass of cooking
s__instance(s__Cooking,s__SetOrClass)

s__instance(s__Frying,s__SetOrClass)

s__subclass(s__Frying,s__Cooking)

Food.kif 564-564 Frying is a subclass of cooking
s__termFormat(s__ChineseLanguage,s__Cooking,'"烹饪"')

chinese_format.kif 1189-1189
s__termFormat(s__EnglishLanguage,s__Cooking,'"cooking"')

english_format.kif 1600-1600

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


( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__LOC1,s__Object))
       =>
       (((s__instance(V__C,s__CateringService) &
             s__agent(V__C,V__AGENT)
           &
           s__destination(V__C,V__CUST)
         &
         s__located(V__AGENT,V__LOC1)
       &
       s__customer(V__CUST,V__AGENT)
     &
     ( ? [V__S, V__FOOD, V__E] :
       ((s__instance(V__S,s__Cooking) &
           s__agent(V__S,V__AGENT)
         &
         s__result(V__S,V__FOOD)
       &
       s__patient(V__C,V__FOOD)
     &
     s__instance(V__E,s__Eating) &
     s__agent(V__E,V__CUST)
   &
   s__eventLocated(V__E,V__LOC2)))))
=>
(~((V__LOC1 = V__LOC2))))))
)
)

Dining.kif 540-556
( ! [V__COOK] :
   ((s__instance(V__COOK,s__Cooking) =>
       (( ? [V__FOOD] :
           ((s__instance(V__FOOD,s__FoodForFn(s__Organism))
             &
             s__result(V__COOK,V__FOOD))))))
)
)

Merge.kif 12215-12220

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FoodManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Cooking) &
                     s__instance(V__EV,s__Manufacture) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 1361-1377
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
           &
           s__instance(V__ATTR,s__FoodRating) &
           s__instance(V__ENTITY,s__Agent))
         =>
         (( ? [V__FOOD, V__COOK, V__CLASSIFY] :
             ((s__instance(V__COOK,s__Cooking) &
                 s__agent(V__COOK,V__ENTITY)
               &
               s__result(V__COOK,V__FOOD)
             &
             s__instance(V__CLASSIFY,s__Classifying) &
             s__agent(V__CLASSIFY,V__AGENT)
           &
           s__destination(V__CLASSIFY,V__FOOD)
         &
         s__patient(V__CLASSIFY,V__ATTR))))))))
)
)

Hotel.kif 3012-3025
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__CookedAttribute) =>
           (( ? [V__PROC] :
               ((s__instance(V__PROC,s__Cooking) &
                   s__result(V__PROC,V__FOOD))))))))
   )
)

Mid-level-ontology.kif 19674-19679
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__RawAttribute) =>
           (~(( ? [V__PROC] :
                 ((s__instance(V__PROC,s__Cooking) &
                     s__result(V__PROC,V__FOOD)))))))))
   )
)

Mid-level-ontology.kif 19690-19696
( ! [V__X] :
   ((s__instance(V__X,s__Human) =>
       ((s__attribute(V__X,s__Chef) =>
           (s__occupation(V__X,s__OccupationFn(s__Cooking))))))
   )
)

Dining.kif 782-785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4753-4762
( ! [V__B] :
   ((s__instance(V__B,s__Butter) =>
       (( ? [V__C, V__M] :
           ((s__instance(V__C,s__Cooking) &
               s__resource(V__C,V__M)
             &
             s__instance(V__M,s__Milk) &
             s__result(V__C,V__B))))))
)
)

Mid-level-ontology.kif 19763-19770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13877-13883
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2258-2264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2289-2295
( ! [V__PLACE] :
   ((s__instance(V__PLACE,s__RestaurantBuilding) =>
       (s__capability(s__Cooking,s__eventLocated__m,V__PLACE)))
   )
)

Mid-level-ontology.kif 6641-6643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13889-13895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2270-2276
( ! [V__COOK,V__STEAKHOUSE] :
   ((s__instance(V__COOK,s__Process) =>
       ((s__instance(V__STEAKHOUSE,s__Steakhouse) =>
           (( ? [V__SERVICE, V__STEAK, V__BEEF] :
               ((s__instance(V__COOK,s__Cooking) &
                   s__instance(V__BEEF,s__Beef) &
                   s__resource(V__COOK,V__BEEF)
                 &
                 s__result(V__COOK,V__STEAK)
               &
               s__instance(V__SERVICE,s__CommercialService) &
               s__agent(V__SERVICE,V__STEAKHOUSE)
             &
             s__instance(V__SERVICE,s__Selling) &
             s__patient(V__SERVICE,V__STEAK))))))))
)
)

Dining.kif 88-99


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