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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eating
Eating

VerbNet: dine-39.5|junket, gorge-39.6|gorge, lodge-46|board, gobble-39.3|gobble, dine-39.5|breakfast, dine-39.5|graze, dine-39.5|brunch, devour-39.4|devour, pocket-9.10|pasture, devour-39.4|devour, dine-39.5|dine, funnel-9.3|dunk, devour-39.4|devour, run-51.3.2|drift, funnel-9.3|dunk, eat-39.1|eat, stop-55.4|finish, gorge-39.6|gorge, gorge-39.6|gorge, dine-39.5|junket, eat-39.1|eat, stop-55.4|finish, gorge-39.6|gorge, devour-39.4|devour, gobble-39.3|gobble, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, pocket-9.10|pasture, tape-22.4|gum, devour-39.4|devour, gorge-39.6|gorge, dine-39.5|junket, dine-39.5|lunch, chew-39.2|pick, dine-39.5|snack, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, pocket-9.10|pasture, chew-39.2|peck, chew-39.2|pick, chew-39.2|peck, dine-39.5|picnic, chew-39.2|pick, devour-39.4|devour, gorge-39.6|gorge, stop-55.4|finish, dine-39.5|graze, ...


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 9548-9549
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Israel_4_028_Jew_with_kosher_food.jpg") pictureList.kif 2807-2807 externalImage Eating and "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Israel_4_028_Jew_with_kosher_food.jpg"
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/4/45/ Din_Tai_Fung_dumpling_house_by_Yunlong_in_Taipei.jpg") pictureList.kif 2669-2669 externalImage Eating and "http://upload.wikimedia.org/wikipedia/commons/4/45/ Din_Tai_Fung_dumpling_house_by_Yunlong_in_Taipei.jpg"
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg") pictureList.kif 2806-2806 externalImage Eating and "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg"
(subclass Eating Ingesting) Merge.kif 9546-9546 subclass Eating and Ingesting

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


(subclass Aqiqah Eating) ArabicCulture.kif 312-312 subclass Aqiqah and Eating
(subclass Iftar Eating) ArabicCulture.kif 80-80 subclass Iftar and Eating
(subclass Overgrazing Eating) Geography.kif 2707-2707 subclass Overgrazing and Eating
(subclass Suhur Eating) ArabicCulture.kif 35-35 subclass Suhur and Eating
(termFormat ChineseLanguage Eating "进食") chinese_format.kif 1080-1080 termFormat ChineseLanguage, Eating and "进食"
(termFormat EnglishLanguage Eating "eating") english_format.kif 1376-1376 termFormat EnglishLanguage, Eating and "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)
            (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 1154-1171
(=>
    (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 28795-28816
(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))		 Mid-level-ontology.kif 17806-17812
(=>
    (and
        (instance ?ACT Eating)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Solid))		 Merge.kif 9551-9555
(=>
    (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 540-556
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))		 Merge.kif 13441-13447
(=>
    (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)
                (and
                    (customer ?GRP2 ?REST)
                    (not
                        (equal ?GRP1 ?GRP2))
                    (instance ?E2 Eating)
                    (agent ?E2 ?GRP2)
                    (holdsDuring
                        (WhenFn ?E1)
                        (eventLocated ?E2 ?DR))))) Likely))		 Dining.kif 1174-1193
(=>
    (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 270-287
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Breakfast)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME BreakfastTime)) Likely))		 Food.kif 166-175
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Dinner)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME DinnerTime)) Likely))		 Food.kif 210-219
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Lunch)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME LunchTime)) Likely))		 Food.kif 194-203

consequent
-------------------------


(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2)
            (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 1154-1171
(=>
    (and
        (instance ?D Diet)
        (realization ?P ?D))
    (exists (?E)
        (and
            (subProcess ?E ?P)
            (instance ?E Eating))))		 Mid-level-ontology.kif 19170-19177
(=>
    (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)
                (and
                    (customer ?GRP2 ?REST)
                    (not
                        (equal ?GRP1 ?GRP2))
                    (instance ?E2 Eating)
                    (agent ?E2 ?GRP2)
                    (holdsDuring
                        (WhenFn ?E1)
                        (eventLocated ?E2 ?DR))))) Likely))		 Dining.kif 1174-1193
(=>
    (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 1506-1526
(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))		 Mid-level-ontology.kif 17576-17582
(=>
    (holdsDuring ?T
        (attribute ?H Fasting))
    (not
        (exists (?P)
            (and
                (instance ?P Eating)
                (agent ?P ?H)
                (overlapsTemporally ?T
                    (WhenFn ?P))))))		 Mid-level-ontology.kif 28782-28789
(=>
    (instance ?CHEW Chewing)
    (exists (?EAT)
        (and
            (instance ?EAT Eating)
            (subProcess ?CHEW ?EAT))))		 Mid-level-ontology.kif 9789-9794
(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))		 Mid-level-ontology.kif 13251-13257
(=>
    (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 4901-4910
(=>
    (instance ?FEED Fodder)
    (hasPurpose ?FEED
        (exists (?ANIMAL ?EAT)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?EAT Eating)
                (agent ?EAT ?ANIMAL)
                (patient ?EAT ?FEED)))))		 Mid-level-ontology.kif 17792-17800
(=>
    (instance ?X Meal)
    (hasPurpose ?X
        (exists (?E)
            (and
                (instance ?E Eating)
                (patient ?E ?X)))))		 Food.kif 148-154
(=>
    (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 20429-20443


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners