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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cooking

Sigma KEE - Cooking
Cooking
إِعْداد, طبْخ, طهْي, كرْمل, حفِظ, أخفى, أعاد, أعال, إحتفظ بشئ للإ ستعمال, إعتكف في, إمتنع عن, احتفظ, استمر, اعتصم, حافظ, حجز, حفظ, خلل, راعى, ربى, سيطر, صان, صمد, صمد للحفظ, طعم, ظل, علب, كبت, واصل, ودع, وقى, علّب, أوقف, استطاع, بيض بالقصدير, سجن, طلى بالقصدير, علب, قدر, قصدر, مكن, وضع في علبة, أنْقص, أنْقص بِالغلْي, ركّز, أصبح أشد قوة, أضعف, اختزل, اختصر, تجبر, تجمع, تركز, حال إلى, حشد, خضع, دق, ركز, سحق, سكت, عالج الصورة السلبية, قلص, قلل, كثف, نزل الرتبة, نقص, هزل, أنْقص بِالغلْي, اِسْتخْلص بِالغلْي, أصبح أشد قوة, أضعف, اختزل, اختصر, تجبر, تجمع, تركز, حال إلى, حشد, خضع, دق, ركز, سحق, سكت, عالج الصورة السلبية, قلص, قلل, كثف, نزل الرتبة, نقص, هزل, طبخ, طهى, تلاعب, طها, وقع في ورطة, ...

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


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

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


(subclass Baking Cooking) Mid-level-ontology.kif 19222-19222
(subclass Frying Cooking) Food.kif 609-609
(termFormat ChineseLanguage Cooking "烹饪") chinese_format.kif 1189-1189
(termFormat EnglishLanguage Cooking "cooking") english_format.kif 876-876
(termFormat FrenchLanguage Cooking "cuisiner") french_format.kif 867-867
(termFormat Hindi Cooking "paaka karma") terms-hindi.txt 399-399
(termFormat ItalianLanguage Cooking "Cucinare") terms-it.txt 400-400
(termFormat PortugueseLanguage Cooking "Cozinhar") portuguese_format.kif 819-819
(termFormat cb Cooking "pagluto") terms-cb.txt 404-404
(termFormat cz Cooking "cooking") terms-cz.txt 438-438
(termFormat tg Cooking "nagluluto") terms-tg.txt 403-403

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

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 19198-19203
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 19214-19220
(=>
    (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 19286-19293
(=>
    (instance ?CLASS
        (LessonOnCookingFoodFn ?FOOD))
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD)
            (subProcess ?PROC ?CLASS))))
Offers.kif 284-290
(=>
    (instance ?CLASS BreadMakingClass)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC BreadOrBiscuit)
            (subProcess ?PROC ?CLASS))))
Offers.kif 255-261
(=>
    (instance ?CLASS CookingClass)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (subProcess ?PROC ?CLASS))))
Offers.kif 232-237
(=>
    (instance ?G Grill)
    (hasPurpose ?G
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?G)))))
Society.kif 654-660
(=>
    (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 ?PC PressureCooker)
    (hasPurpose ?PC
        (exists (?COOKING)
            (and
                (instance ?COOKING Cooking)
                (instrument ?COOKING ?PC)))))
Society.kif 803-809
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 6958-6960
(=>
    (instance ?R RotisserieAppliance)
    (hasPurpose ?R
        (exists (?COOKING)
            (and
                (instance ?COOKING Cooking)
                (instrument ?COOKING ?R)))))
Society.kif 823-829
(=>
    (instance ?RC RiceCooker)
    (hasPurpose ?RC
        (exists (?COOKING ?RICE)
            (and
                (instance ?COOKING Cooking)
                (instrument ?COOKING ?RC)
                (result ?COOKING ?RICE)
                (instance ?RICE RiceGrain)))))
Society.kif 908-916
(=>
    (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 ?SC SlowCooker)
    (hasPurpose ?SC
        (exists (?COOKING)
            (and
                (instance ?COOKING Cooking)
                (instrument ?COOKING ?SC)))))
Society.kif 875-881
(=>
    (instance ?SM SandwichMaker)
    (hasPurpose ?SM
        (exists (?COOKING ?SANDW)
            (and
                (instance ?COOKING Cooking)
                (instance ?SANDW Sandwich)
                (instrument ?COOKING ?SM)
                (result ?COOKING ?SANDW)))))
Society.kif 836-844
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners