Meal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Meal

Meal

appearance as argument number 1

(documentation Meal EnglishLanguage "Meal refers to a Collection of (%&FoodForFn Human) that is eaten at one time")	Food.kif 88-89
(subclass Meal Collection)	Food.kif 87-87	subclass Meal and Collection

appearance as argument number 2

(termFormat EnglishLanguage Meal "meal")

Food.kif 90-90

appearance as argument number 3

(domain MealAttributeFn 1 Meal)

Food.kif 244-244

domain MealAttributeFn, 1 and Meal

antecedent

(=> (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 28807-28828	holdsDuring TimeInterval and attribute Agent and Dieting holdsDuring TimeInterval and attribute Agent and Dieting instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie instance Object and Meal instance Process and Eating agent Process and Agent resource Process and Object during WhenFn Process and TimeInterval measure Object and MeasureFn RealNumber and Calorie modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (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 118-127	instance Object and Meal attribute Object and Breakfast instance Process and Eating patient Process and Object modalAttribute during WhenFn Process and entity instance entity and BreakfastTime and Likely
(=> (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 162-171	instance Object and Meal attribute Object and Dinner instance Process and Eating patient Process and Object modalAttribute during WhenFn Process and entity instance entity and DinnerTime and Likely
(=> (and (instance ?X Meal) (attribute ?X HighTea)) (exists (?TEA) (and (instance ?TEA Tea) (member ?TEA ?X))))	Food.kif 179-186	instance Collection and Meal attribute Collection and HighTea Object instance Object and Tea member Object and Collection
(=> (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 146-155	instance Object and Meal attribute Object and Lunch instance Process and Eating patient Process and Object modalAttribute during WhenFn Process and entity instance entity and LunchTime and Likely
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Food.kif 92-97	instance Collection and Meal Object member Object and Collection instance Object and FoodForFn Human
(=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X)))))	Food.kif 100-106	instance Physical and Meal hasPurpose Physical and entity instance entity and Eating patient entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners