Cooking - Sigma Knowledge base Browser

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 Food 的 instance。注：这包括任何准备 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 12967-12970
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg")	pictureList.kif 4628-4628
(subclass Cooking Making)	Merge.kif 12966-12966	子類 Cooking and Making

appearance as argument number 2

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

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	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD))))	Merge.kif 12972-12977	例 Process and Cooking Entity 例 Entity and food for Human 結果 Process and Entity

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	例 Collection and Organization attribute Collection and 食品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Cooking 例 AutonomousAgent and Manufacture 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (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 3062-3075	AutonomousAgent believes AutonomousAgent 是 Attribute 例 Attribute and FoodRating 例 AutonomousAgent and AutonomousAgent Entity Process and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 例 Process and Classifying agent Process and AutonomousAgent 目的地 Process and Entity 患者 Process and Attribute
(=> (attribute ?FOOD CookedAttribute) (exists (?PROC1 ?PROC2) (and (instance ?PROC1 Cooking) (instance ?PROC2 Heating) (subProcess ?PROC2 ?PROC1) (result ?PROC1 ?FOOD))))	Food.kif 37-44	attribute Object and CookedAttribute Process Process 例 Process and Cooking 例 Process and Heating 子過程 Process and Process 結果 Process and Object
(=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking)))	Dining.kif 829-832	attribute Human and Chef Cooking 的 occupation 是 Human 的 occupation
(=> (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 6020-6029	例 Physical and 圍裙有目的 Physical and entity entity 例 entity and Cooking agent entity and entity 持有期間何時 entity and 穿 entity and Physical
(=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K)))))	Mid-level-ontology.kif 16927-16933	例 Physical and KitchenArea 有目的 Physical and entity 例 entity and Cooking entity 是 located 在 Physical
(=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O)))))	Mid-level-ontology.kif 2791-2797	例 Physical and 烹飪烤箱有目的 Physical and entity 例 entity and Cooking 儀器 entity and Physical
(=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P))))	Food.kif 2748-2755	例 Entity and Pasta Object Process 例 Object and 麵團例 Process and Cooking 資源 Process and Object 結果 Process and Entity
(=> (instance ?P PotOrPan) (hasPurpose ?P (exists (?C) (and (instance ?C Cooking) (instrument ?C ?P)))))	Mid-level-ontology.kif 2822-2828	例 Physical and 鍋或杅有目的 Physical and entity 例 entity and Cooking 儀器 entity and Physical
(=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 8480-8482	例 Object and 餐廳建築能力 Cooking, eventLocated and Object
(=> (instance ?ROOM Kitchen) (hasPurpose ?ROOM (exists (?COOK) (and (instance ?COOK Cooking) (located ?COOK ?ROOM)))))	Mid-level-ontology.kif 16939-16945	例 Physical and 廚房有目的 Physical and entity 例 entity and Cooking 位於 entity and Physical
(=> (instance ?S Stove) (hasPurpose ?S (exists (?C) (and (instance ?C Cooking) (instrument ?C ?S)))))	Mid-level-ontology.kif 2803-2809	例 Physical and 火爐有目的 Physical and entity 例 entity and Cooking 儀器 entity and Physical
(=> (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	例 AutonomousAgent and Steakhouse Process Entity, Object and Process 例 Process and Cooking 例 Object and 牛肉資源 Process and Object 結果 Process and Entity 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity

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