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 的过程,例如:做沙拉和切开水果等,它不一定涉及应用热能来处理食物。") chinese_format.kif 3224-3225
(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 12639-12642
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") pictureList.kif 4630-4630
(subclass Cooking Making) Merge.kif 12638-12638 Cooking is a subclass of making

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


(subclass Baking Cooking) Mid-level-ontology.kif 21033-21033 Baking is a subclass of cooking
(subclass Frying Cooking) Food.kif 546-546 Frying is a subclass of cooking
(termFormat ChineseLanguage Cooking "烹饪") chinese_format.kif 1189-1189
(termFormat EnglishLanguage Cooking "cooking") english_format.kif 1595-1595

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 540-556
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12644-12649

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 AutonomousAgent))
    (exists (?FOOD ?COOK ?CLASSIFY)
        (and
            (instance ?COOK Cooking)
            (agent ?COOK ?ENTITY)
            (result ?COOK ?FOOD)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 3058-3071
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD))))
Mid-level-ontology.kif 21009-21014
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 21025-21031
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))
Dining.kif 782-785
(=>
    (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 4802-4811
(=>
    (instance ?B Butter)
    (exists (?C ?M)
        (and
            (instance ?C Cooking)
            (resource ?C ?M)
            (instance ?M Milk)
            (result ?C ?B))))
Mid-level-ontology.kif 21098-21105
(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))
Mid-level-ontology.kif 15065-15071
(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))
Mid-level-ontology.kif 2285-2291
(=>
    (instance ?P PotOrPan)
    (hasPurpose ?P
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?P)))))
Mid-level-ontology.kif 2316-2322
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 6991-6993
(=>
    (instance ?ROOM Kitchen)
    (hasPurpose ?ROOM
        (exists (?COOK)
            (and
                (instance ?COOK Cooking)
                (located ?COOK ?ROOM)))))
Mid-level-ontology.kif 15077-15083
(=>
    (instance ?S Stove)
    (hasPurpose ?S
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?S)))))
Mid-level-ontology.kif 2297-2303
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners