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
-------------------------


(documentation Cooking ChineseLanguage "这是 Making Foodinstance。注:这包括任何 准备 Food 的过程,例如:做沙拉和切开水果等,它不一定涉及应用热能来处理食物。") Merge.kif 12787-12788
(documentation Cooking 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 12783-12786
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") pictureList.kif 4630-4630 "http://upload.wikimedia.org/wikipedia/commons/8/85/ Poffertjes.jpg" is a URL depicting cooking
(subclass Cooking Making) Merge.kif 12782-12782 Cooking is a subclass of making

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


(subclass Baking Cooking) Mid-level-ontology.kif 19280-19280 Baking is a subclass of cooking
(subclass Frying Cooking) Food.kif 609-609 Frying is a subclass of cooking
(termFormat ChineseLanguage Cooking "烹饪") chinese_format.kif 1189-1189 "烹饪" is the printable form of cooking in ChineseLanguage
(termFormat EnglishLanguage Cooking "cooking") english_format.kif 1644-1644 "cooking" is the printable form of cooking in english language
(termFormat JapaneseLanguage Cooking "料理") english_format.kif 1645-1645 "料理" is the printable form of cooking in japanese language

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


(=>
    (and
        (instance ?C CateringService)
        (agent ?C ?AGENT)
        (destination ?C ?CUST)
        (located ?AGENT ?LOC1)
        (customer ?CUST ?AGENT)
        (exists (?S ?FOOD ?E)
            (and
                (instance ?S Cooking)
                (agent ?S ?AGENT)
                (result ?S ?FOOD)
                (patient ?C ?FOOD)
                (instance ?E Eating)
                (agent ?E ?CUST)
                (eventLocated ?E ?LOC2))))
    (not
        (equal ?LOC1 ?LOC2)))
Dining.kif 544-560
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12790-12795

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FoodManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Cooking)
                    (instance ?EV Manufacture)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 1361-1377
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR FoodRating)
        (instance ?ENTITY Agent))
    (exists (?FOOD ?COOK ?CLASSIFY)
        (and
            (instance ?COOK Cooking)
            (agent ?COOK ?ENTITY)
            (result ?COOK ?FOOD)
            (instance ?CLASSIFY Classifying)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 2992-3004
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD))))
Mid-level-ontology.kif 19256-19261
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 19272-19278
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))
Dining.kif 786-789
(=>
    (instance ?A Apron)
    (hasPurpose ?A
        (exists (?P ?C)
            (and
                (instance ?C Cooking)
                (agent ?C ?P)
                (holdsDuring
                    (WhenFn ?C)
                    (wears ?P ?A))))))
Mid-level-ontology.kif 5356-5365
(=>
    (instance ?B Butter)
    (exists (?C ?M)
        (and
            (instance ?C Cooking)
            (resource ?C ?M)
            (instance ?M Milk)
            (result ?C ?B))))
Mid-level-ontology.kif 19344-19351
(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))
Mid-level-ontology.kif 13228-13234
(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))
Mid-level-ontology.kif 2783-2789
(=>
    (instance ?P PotOrPan)
    (hasPurpose ?P
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?P)))))
Mid-level-ontology.kif 2814-2820
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 6958-6960
(=>
    (instance ?ROOM Kitchen)
    (hasPurpose ?ROOM
        (exists (?COOK)
            (and
                (instance ?COOK Cooking)
                (located ?COOK ?ROOM)))))
Mid-level-ontology.kif 13240-13245
(=>
    (instance ?S Stove)
    (hasPurpose ?S
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?S)))))
Mid-level-ontology.kif 2795-2801
(=>
    (instance ?STEAKHOUSE Steakhouse)
    (exists (?SERVICE ?STEAK ?BEEF)
        (and
            (instance ?COOK Cooking)
            (instance ?BEEF Beef)
            (resource ?COOK ?BEEF)
            (result ?COOK ?STEAK)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?STEAKHOUSE)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners