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 136-137
(subclass Meal Collection)	Food.kif 135-135	subclass Meal and Collection

appearance as argument number 2

(termFormat EnglishLanguage Meal "meal")

Food.kif 138-138

termFormat EnglishLanguage, Meal and "meal"

appearance as argument number 3

(domain MealAttributeFn 1 Meal)

Food.kif 292-292

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 28795-28816	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 166-175	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 210-219	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 227-234	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 194-203	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 140-145	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 148-154	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