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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eating
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 10387-10388
(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 10385-10385

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


(subclass Aqiqah Eating) ArabicCulture.kif 325-325
(subclass Iftar Eating) ArabicCulture.kif 89-89
(subclass Overgrazing Eating) Geography.kif 2755-2755
(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 de Eating "Essen") terms-de.txt 588-588
(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 32598-32619
(=>
    (and
        (instance ?A Fungivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Fungus))
Mid-level-ontology.kif 21682-21688
(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 21653-21659
(=>
    (and
        (instance ?A Omnivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (or
        (instance ?F Plant)
        (instance ?F Animal)
        (instance ?F Fungus)))
Mid-level-ontology.kif 21667-21676
(=>
    (and
        (instance ?ACT Eating)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Solid))
Merge.kif 10390-10394
(=>
    (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 14741-14747
(=>
    (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 1712-1722
(=>
    (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 1799-1809
(=>
    (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 1782-1792

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 23150-23157
(=>
    (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 1569-1589
(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))
Mid-level-ontology.kif 21362-21368
(=>
    (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 21639-21647
(=>
    (attribute ?H Anorexia)
    (exists (?E)
        (and
            (instance ?E Eating)
            (agent ?E ?H)
            (needs ?H ?E)
            (not
                (wants ?H ?E)))))
Medicine.kif 5044-5052
(=>
    (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 5017-5029
(=>
    (holdsDuring ?T
        (attribute ?H Fasting))
    (not
        (exists (?P)
            (and
                (instance ?P Eating)
                (agent ?P ?H)
                (overlapsTemporally ?T
                    (WhenFn ?P))))))
Mid-level-ontology.kif 32585-32592
(=>
    (instance ?CHEW Chewing)
    (exists (?EAT)
        (and
            (instance ?EAT Eating)
            (subProcess ?CHEW ?EAT))))
Mid-level-ontology.kif 12897-12902
(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))
Mid-level-ontology.kif 16944-16950
(=>
    (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 4878-4887
(=>
    (instance ?X Meal)
    (hasPurpose ?X
        (exists (?E)
            (and
                (instance ?E Eating)
                (patient ?E ?X)))))
Food.kif 1694-1700
(=>
    (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 24203-24217


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