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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cooking
Cooking(烹饪)

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 13016-13019
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") pictureList.kif 4628-4628
(subclass Cooking Making) Merge.kif 13015-13015 烹饪制作subclass

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


(subclass Baking Cooking) Food.kif 1463-1463 烘烤烹饪subclass
(subclass CoffeeMaking Cooking) Food.kif 649-649 CoffeeMaking烹饪subclass
(subclass DryRoasting Cooking) Food.kif 121-121 DryRoasting烹饪subclass
(subclass FoamingMilk Cooking) Food.kif 1175-1175 FoamingMilk烹饪subclass
(subclass Frying Cooking) Food.kif 2573-2573 Frying烹饪subclass
(subclass Hulling Cooking) Food.kif 167-167 Hulling烹饪subclass
(termFormat ChineseLanguage Cooking "烹饪") chinese_format.kif 1189-1189 Hulling烹饪subclass
(termFormat EnglishLanguage Cooking "cooking") english_format.kif 1595-1595 Hulling烹饪subclass
(termFormat FrenchLanguage Cooking "cuisiner") french_format.kif 867-867 Hulling烹饪subclass
(termFormat Hindi Cooking "paaka karma") terms-hindi.txt 399-399 Hulling烹饪subclass
(termFormat ItalianLanguage Cooking "Cucinare") terms-it.txt 402-402 Hulling烹饪subclass
(termFormat JapaneseLanguage Cooking "料理") japanese_format.kif 2551-2551 Hulling烹饪subclass
(termFormat PortugueseLanguage Cooking "Cozinhar") portuguese_format.kif 819-819 Hulling烹饪subclass
(termFormat cb Cooking "pagluto") terms-cb.txt 404-404 Hulling烹饪subclass
(termFormat cz Cooking "cooking") terms-cz.txt 438-438 Hulling烹饪subclass
(termFormat de Cooking "Kochen") terms-de.txt 697-697 Hulling烹饪subclass
(termFormat ro Cooking "gãtit") relations-ro.kif 888-888 Hulling烹饪subclass
(termFormat tg Cooking "nagluluto") terms-tg.txt 403-403 Hulling烹饪subclass

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 586-602
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Human))
            (result ?COOK ?FOOD))))
Merge.kif 13021-13026

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 3073-3086
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC1 ?PROC2)
        (and
            (instance ?PROC1 Cooking)
            (instance ?PROC2 Heating)
            (subProcess ?PROC2 ?PROC1)
            (result ?PROC1 ?FOOD))))
Food.kif 37-44
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))
Dining.kif 829-832
(=>
    (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 5994-6003
(=>
    (instance ?K KitchenArea)
    (hasPurpose ?K
        (exists (?C)
            (and
                (instance ?C Cooking)
                (eventLocated ?C ?K)))))
Mid-level-ontology.kif 16919-16925
(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))
Mid-level-ontology.kif 2785-2791
(=>
    (instance ?P Pasta)
    (exists (?D ?C)
        (and
            (instance ?D Dough)
            (instance ?C Cooking)
            (resource ?C ?D)
            (result ?C ?P))))
Food.kif 2755-2762
(=>
    (instance ?P PotOrPan)
    (hasPurpose ?P
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?P)))))
Mid-level-ontology.kif 2816-2822
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 8454-8456
(=>
    (instance ?ROOM Kitchen)
    (hasPurpose ?ROOM
        (exists (?COOK)
            (and
                (instance ?COOK Cooking)
                (located ?COOK ?ROOM)))))
Mid-level-ontology.kif 16931-16937
(=>
    (instance ?S Stove)
    (hasPurpose ?S
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?S)))))
Mid-level-ontology.kif 2797-2803
(=>
    (instance ?STEAKHOUSE Steakhouse)
    (exists (?SERVICE ?STEAK ?BEEF ?COOK)
        (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