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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooking
Cooking

VerbNet: cooking-45.3|barbeque, cooking-45.3|barbeque, spray-9.7|baste, mix-22.1|scramble, other_cos-45.4|scorch, cooking-45.3|parboil, cooking-45.3|boil, mix-22.1|decoct, cooking-45.3|braise, cooking-45.3|broil, pocket-9.10|tin, other_cos-45.4|caramelize, other_cos-45.4|caramelize, other_cos-45.4|scorch, build-26.1|churn, cooking-45.3|coddle, mix-22.1|decoct, create-26.4|concoct, get-13.5.1|conserve, build-26.1|cook, cooking-45.3|barbeque, create-26.4|concoct, mix-22.1|cream, mix-22.1|decoct, spray-9.7|stuff, build-26.1|make, put_spatial-9.2|hang, pocket-9.10|jug, fill-9.8|lard, butter-9.9|leaven, build-26.1|make, fill-9.8|marinate, fill-9.8|marinate, cooking-45.3|microwave, cooking-45.3|microwave, cooking-45.3|microwave, cooking-45.3|broil, cooking-45.3|overcook, cooking-45.3|pan-broil, cooking-45.3|parboil, cooking-45.3|percolate, cooking-45.3|pickle, cooking-45.3|plank, cooking-45.3|poach, build-26.1|make, butter-9.9|leaven, wipe_manner-10.4.1|strain, pocket-9.10|tin, butter-9.9|leaven, build-26.1|make, ...


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 11916-11919
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") pictureList.kif 4630-4630
(subclass Cooking Making) Merge.kif 11915-11915

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


(subclass Baking Cooking) Mid-level-ontology.kif 19318-19318
(subclass Frying Cooking) Food.kif 564-564
(termFormat ChineseLanguage Cooking "烹饪") chinese_format.kif 1189-1189
(termFormat EnglishLanguage Cooking "cooking") english_format.kif 1600-1600

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

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)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 2998-3011
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD))))
Mid-level-ontology.kif 19294-19299
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 19310-19316
(=>
    (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 5357-5366
(=>
    (instance ?B Butter)
    (exists (?C ?M)
        (and
            (instance ?C Cooking)
            (resource ?C ?M)
            (instance ?M Milk)
            (result ?C ?B))))
Mid-level-ontology.kif 19382-19389
(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))
Mid-level-ontology.kif 13253-13259
(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))
Mid-level-ontology.kif 2784-2790
(=>
    (instance ?P PotOrPan)
    (hasPurpose ?P
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?P)))))
Mid-level-ontology.kif 2815-2821
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 6938-6940
(=>
    (instance ?ROOM Kitchen)
    (hasPurpose ?ROOM
        (exists (?COOK)
            (and
                (instance ?COOK Cooking)
                (located ?COOK ?ROOM)))))
Mid-level-ontology.kif 13265-13270
(=>
    (instance ?S Stove)
    (hasPurpose ?S
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?S)))))
Mid-level-ontology.kif 2796-2802
(=>
    (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