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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eating

Sigma KEE - Eating
Eating
Comer, Dutch_treat, Mangiare, 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...

appearance as argument number 1
-------------------------


(documentation Eating ChineseLanguage "这是 Animal 摄入固体食物的 Process。") Merge.kif 10261-10261
(documentation Eating EnglishLanguage "The Process by which solid food is incorporated into an Animal.") Merge.kif 10259-10260
(externalImage Eating "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Israel_4_028_Jew_with_kosher_food.jpg") pictureList.kif 2807-2807
(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 "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg") pictureList.kif 2806-2806
(subclass Eating Ingesting) Merge.kif 10258-10258

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


(subclass Aqiqah Eating) ArabicCulture.kif 312-312
(subclass Iftar Eating) ArabicCulture.kif 80-80
(subclass Overgrazing Eating) Geography.kif 2695-2695
(subclass Suhur Eating) ArabicCulture.kif 35-35
(termFormat ChineseLanguage Eating "进食") chinese_format.kif 1080-1080
(termFormat EnglishLanguage Eating "eating") english_format.kif 767-767
(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 291-291
(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 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)
            (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 1158-1175
(=>
    (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 28718-28739
(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 17747-17753
(=>
    (and
        (instance ?ACT Eating)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Solid))
Merge.kif 10263-10267
(=>
    (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 544-560
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))
Merge.kif 14630-14636
(=>
    (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 1178-1197
(=>
    (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 277-294
(=>
    (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 167-176
(=>
    (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 211-220
(=>
    (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 195-204

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 1158-1175
(=>
    (and
        (instance ?D Diet)
        (realization ?P ?D))
    (exists (?E)
        (and
            (subProcess ?E ?P)
            (instance ?E Eating))))
Mid-level-ontology.kif 19111-19118
(=>
    (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 1178-1197
(=>
    (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 1502-1522
(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))
Mid-level-ontology.kif 17517-17523
(=>
    (holdsDuring ?T
        (attribute ?H Fasting))
    (not
        (exists (?P)
            (and
                (instance ?P Eating)
                (agent ?P ?H)
                (termporallyOverlaps ?T
                    (WhenFn ?P))))))
Mid-level-ontology.kif 28705-28712
(=>
    (instance ?CHEW Chewing)
    (exists (?EAT)
        (and
            (instance ?EAT Eating)
            (subProcess ?CHEW ?EAT))))
Mid-level-ontology.kif 9787-9792
(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))
Mid-level-ontology.kif 13252-13258
(=>
    (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 4906-4915
(=>
    (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 17733-17741
(=>
    (instance ?X Meal)
    (hasPurpose ?X
        (exists (?E)
            (and
                (instance ?E Eating)
                (patient ?E ?X)))))
Food.kif 149-155
(=>
    (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 20370-20384


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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