Eating
|
|
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 10298-10299 | |
(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 2806-2806 | |
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/4/45/ Din_Tai_Fung_dumpling_house_by_Yunlong_in_Taipei.jpg") | pictureList.kif 2668-2668 | |
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg") | pictureList.kif 2805-2805 | |
(subclass Eating Ingesting) | Merge.kif 10296-10296 |
appearance as argument number 2 |
(subclass Aqiqah Eating) | ArabicCulture.kif 325-325 | |
(subclass Iftar Eating) | ArabicCulture.kif 89-89 | |
(subclass Overgrazing Eating) | Geography.kif 2767-2767 | |
(subclass Suhur Eating) | ArabicCulture.kif 35-35 | |
(termFormat ChineseLanguage Eating "进食") | chinese_format.kif 1080-1080 | |
(termFormat EnglishLanguage Eating "eating") | english_format.kif 1371-1371 | |
(termFormat FrenchLanguage Eating "manger") | french_format.kif 758-758 | |
(termFormat Hindi Eating "khaana ") | terms-hindi.txt 290-290 | |
(termFormat ItalianLanguage Eating "Mangiare") | terms-it.txt 293-293 | |
(termFormat JapaneseLanguage Eating "摂食") | japanese_format.kif 2442-2442 | |
(termFormat PortugueseLanguage Eating "Comer") | portuguese_format.kif 710-710 | |
(termFormat cb Eating "pagkan-on") | terms-cb.txt 295-295 | |
(termFormat cz Eating "eating") | terms-cz.txt 329-329 | |
(termFormat ro Eating "procesul de a mânca") | relations-ro.kif 779-779 | |
(termFormat tg Eating "kumakain") | terms-tg.txt 294-294 |
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 | |
(=> (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 30686-30707 | |
(=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant)) |
Mid-level-ontology.kif 20093-20099 | |
(=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10301-10305 | |
(=> (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 | |
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal)) |
Merge.kif 14649-14655 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 |
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 | |
(=> (and (instance ?D Diet) (realization ?P ?D)) (exists (?E) (and (subProcess ?E ?P) (instance ?E Eating)))) |
Mid-level-ontology.kif 21560-21567 | |
(=> (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 | |
(=> (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 | |
(=> (attribute ?A Hungry) (desires ?A (exists (?E) (and (instance ?E Eating) (agent ?E ?A))))) |
Mid-level-ontology.kif 19818-19824 | |
(=> (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 20079-20087 | |
(=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E))))) |
Medicine.kif 5037-5045 | |
(=> (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 5010-5022 | |
(=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P)))))) |
Mid-level-ontology.kif 30673-30680 | |
(=> (instance ?CHEW Chewing) (exists (?EAT) (and (instance ?EAT Eating) (subProcess ?CHEW ?EAT)))) |
Mid-level-ontology.kif 11593-11598 | |
(=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 15598-15604 | |
(=> (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 4428-4437 | |
(=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X))))) |
Food.kif 1688-1694 | |
(=> (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 22612-22626 |