Eating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Eating

Eating(eating)

Dutch_treat, anthropophagous, anthropophagy, banquet, banqueting, binge, bite, board, bolt, bolt_down, break_bread, breakfast, browse, browsing, brunch, cannibalise, cannibalism, cannibalistic, cannibalize, chomp, consume, coprophagia, coprophagy, corn-fed, crop, degust, devour, dig_in, digest, dine, dine_in, dine_out, dining, dip, down, drift, dunk, eat, eat_in, eat_out, eat_up, eating, englut, engorge, engorgement, fare, feast, feasting, feed, feeding...

appearance as argument number 1

(documentation Eating ChineseLanguage "这是 Animal 摄入固体食物的 Process。")	chinese_format.kif 2909-2909
(documentation Eating EnglishLanguage "The Process by which solid food is incorporated into an Animal.")	Merge.kif 10327-10328
(documentation Eating JapaneseLanguage "固形食品が Animal に組み込まれる Process。")	japanese_format.kif 1658-1658
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Israel_4_028_Jew_with_kosher_food.jpg")	pictureList.kif 2805-2805
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/4/45/ Din_Tai_Fung_dumpling_house_by_Yunlong_in_Taipei.jpg")	pictureList.kif 2667-2667
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg")	pictureList.kif 2804-2804
(subclass Eating Ingesting)	Merge.kif 10325-10325	Eating is a subclass of ingesting

appearance as argument number 2

(subclass Aqiqah Eating)	ArabicCulture.kif 325-325	Aqiqah is a subclass of eating
(subclass Iftar Eating)	ArabicCulture.kif 89-89	Iftar is a subclass of eating
(subclass Overgrazing Eating)	Geography.kif 2755-2755	Overgrazing is a subclass of eating
(subclass Suhur Eating)	ArabicCulture.kif 35-35	Suhur is a subclass of eating
(termFormat ChineseLanguage Eating "进食")	chinese_format.kif 1080-1080	Suhur is a subclass of eating
(termFormat EnglishLanguage Eating "eating")	english_format.kif 1371-1371	Suhur is a subclass of eating
(termFormat FrenchLanguage Eating "manger")	french_format.kif 758-758	Suhur is a subclass of eating
(termFormat Hindi Eating "khaana ")	terms-hindi.txt 290-290	Suhur is a subclass of eating
(termFormat ItalianLanguage Eating "Mangiare")	terms-it.txt 293-293	Suhur is a subclass of eating
(termFormat JapaneseLanguage Eating "摂食")	japanese_format.kif 2442-2442	Suhur is a subclass of eating
(termFormat PortugueseLanguage Eating "Comer")	portuguese_format.kif 710-710	Suhur is a subclass of eating
(termFormat cb Eating "pagkan-on")	terms-cb.txt 295-295	Suhur is a subclass of eating
(termFormat cz Eating "eating")	terms-cz.txt 329-329	Suhur is a subclass of eating
(termFormat de Eating "Essen")	terms-de.txt 588-588	Suhur is a subclass of eating
(termFormat ro Eating "procesul de a mânca")	relations-ro.kif 779-779	Suhur is a subclass of eating
(termFormat tg Eating "kumakain")	terms-tg.txt 294-294	Suhur is a subclass of eating

antecedent

(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
(=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 31776-31797	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
(=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant))	Mid-level-ontology.kif 21155-21161	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant
(=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid))	Merge.kif 10330-10334	If a process is an instance of eating and an object is a resource for the process, then solid is an attribute of the object
(=> (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	If a process is an instance of catering and an agent is an agent of the process and the process ends up at the processUST and the agent is located at an object and the agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at another object, then the object is not equal to the other object
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal))	Merge.kif 14677-14683	If an agent is an instance of carnivore and a process is an instance of eating and the agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of animal
(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and the cognitive agent is not equal to the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds during the time of existence of the process has the modal force of likely
(=> (and (instance ?X Buffet) (member ?ITEM ?X) (located ?X ?LOC1) (instance ?E Eating) (agent ?E ?AGENT) (eventLocated ?E ?LOC2) (patient ?E ?ITEM)) (and (not (equal ?LOC1 ?LOC2)) (exists (?G) (and (instance ?G Getting) (patient ?G ?ITEM) (origin ?G ?LOC1) (agent ?G ?AGENT) (before (WhenFn ?G) (WhenFn ?E))))))	Dining.kif 274-291	If a collection is an instance of buffet and a physical is a member of the collection and the collection is located at an object and a process is an instance of eating and an agent is an agent of the process and the process is located at another object and the physical is a patient of the process, then the object is not equal to the other object and there exists another process such that the other process is an instance of getting and the physical is a patient of the other process and the other process originates at the object and the agent is an agent of the other process and the time of existence of the other process happens before the time of existence of the process
(=> (and (instance ?X Meal) (attribute ?X Breakfast) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME BreakfastTime))) Likely))	Food.kif 1706-1716	If an object is an instance of meal and breakfast is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of breakfast time has the modal force of likely
(=> (and (instance ?X Meal) (attribute ?X Dinner) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME DinnerTime))) Likely))	Food.kif 1793-1803	If an object is an instance of meal and dinner is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of dinner time has the modal force of likely
(=> (and (instance ?X Meal) (attribute ?X Lunch) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME LunchTime))) Likely))	Food.kif 1776-1786	If an object is an instance of meal and lunch is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of lunch time has the modal force of likely

consequent

(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
(=> (and (instance ?D Diet) (realization ?P ?D)) (exists (?E) (and (subProcess ?E ?P) (instance ?E Eating))))	Mid-level-ontology.kif 22622-22629	If a proposition is an instance of diet and a process expresses the content of the proposition, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of eating
(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and the cognitive agent is not equal to the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds during the time of existence of the process has the modal force of likely
(=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL))))))))))	Hotel.kif 1558-1578	If an agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of eating and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the cognitive agent is a guest at the agent
(=> (attribute ?A Hungry) (desires ?A (exists (?E) (and (instance ?E Eating) (agent ?E ?A)))))	Mid-level-ontology.kif 20880-20886	If hungry is an attribute of a cognitive agent, then the cognitive agent desires there exists an entity such that the entity is an instance of eating and the cognitive agent is an agent of the entity
(=> (attribute ?FEED Fodder) (hasPurpose ?FEED (exists (?ANIMAL ?EAT) (and (instance ?ANIMAL DomesticAnimal) (instance ?EAT Eating) (agent ?EAT ?ANIMAL) (patient ?EAT ?FEED)))))	Mid-level-ontology.kif 21141-21149	If fodder is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of eating and the entity is an agent of the other entity and the object is a patient of the other entity
(=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E)))))	Medicine.kif 5025-5033	If anorexia nervosa is an attribute of a cognitive agent, then there exists a process such that the process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent needs the process and the cognitive agent doesn't want the process
(=> (attribute ?H Bulimia) (exists (?E ?P) (and (instance ?E Eating) (or (instance ?P Vomiting) (instance ?P Defecating)) (agent ?P ?H) (wants ?H ?P) (earlier (WhenFn ?E) (WhenFn ?P)))))	Medicine.kif 4998-5010	If bulimia nervosa is an attribute of a cognitive agent, then there exist a physical and a process such that the physical is an instance of eating and the process is an instance of vomiting or the process is an instance of Defecating and the cognitive agent is an agent of the process and the cognitive agent wants the process and the time of existence of the physical happens earlier than the time of existence of the process
(=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P))))))	Mid-level-ontology.kif 31763-31770	If fasting is an attribute of an agent holds during a time interval, then there doesn't exist a process such that the process is an instance of eating and the agent is an agent of the process and the time of existence of the process overlaps the time interval
(=> (instance ?CHEW Chewing) (exists (?EAT) (and (instance ?EAT Eating) (subProcess ?CHEW ?EAT))))	Mid-level-ontology.kif 12462-12467	If a process is an instance of chewing, then there exists another process such that the other process is an instance of eating and the process is a subprocess of the other process
(=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D)))))	Mid-level-ontology.kif 16499-16505	If a physical is an instance of dining area, then the physical has the purpose there exists an entity such that the entity is an instance of eating and the entity is located at the physical
(=> (instance ?D Dish) (hasPurpose ?D (exists (?F ?E) (and (instance ?E Eating) (patient ?E ?F) (patient ?E ?D) (instance ?F (FoodForFn Animal)) (located ?F ?D)))))	Mid-level-ontology.kif 4501-4510	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
(=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X)))))	Food.kif 1688-1694	If a physical is an instance of meal, then the physical has the purpose there exists an entity such that the entity is an instance of eating and the physical is a patient of the entity
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 23674-23688	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at the physical

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