TreeView Knowledge Base Browser - Meal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Meal

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 1676-1677
(subclass Meal Collection)	Food.kif 1675-1675	子類 Meal and Collection

appearance as argument number 2

(termFormat EnglishLanguage Meal "meal")

Food.kif 1678-1678

appearance as argument number 3

(domain MealAttributeFn 1 Meal)

Food.kif 1898-1898

域 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 30686-30707	持有期間 TimeInterval and attribute AutonomousAgent and Dieting 持有期間 TimeInterval and attribute AutonomousAgent and Dieting 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里模態屬性比較多 RealNumber and RealNumber and 容易
(=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast))	Food.kif 1731-1746	例 Collection and Meal 會員 Physical and Collection 例 Physical and 咖啡例 Physical and 茶會員 Physical and Collection 例 Physical and Juice 會員 Physical and Collection 例 Physical and 麵包或餅乾會員 Physical and Collection 例 Physical and 奶油會員 PhysicalA and Collection 例 PhysicalA and Jam attribute Collection and ContinentalBreakfast
(=> (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 1706-1716	例 Object and Meal attribute Object and Breakfast 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間何時 Process and entity 例 entity and BreakfastTime and 容易
(=> (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 1793-1803	例 Object and Meal attribute Object and Dinner 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間何時 Process and entity 例 entity and DinnerTime and 容易
(=> (and (instance ?X Meal) (attribute ?X HighTea)) (exists (?TEA) (and (instance ?TEA Tea) (member ?TEA ?X))))	Food.kif 1835-1842	例 Collection and Meal attribute Collection and HighTea Physical 例 Physical and 茶會員 Physical and Collection
(=> (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 1776-1786	例 Object and Meal attribute Object and Lunch 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間何時 Process and entity 例 entity and LunchTime and 容易
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Food.kif 1680-1685	例 Collection and Meal Physical 會員 Physical and Collection 例 Physical and food for Human
(=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X)))))	Food.kif 1688-1694	例 Physical and Meal 有目的 Physical and entity 例 entity and Eating 患者 entity and Physical

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 3.0 is open source software produced by Articulate Software and its partners