Breakfast - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Breakfast

Breakfast(breakfast)

appearance as argument number 1

(documentation Breakfast EnglishLanguage "Breakfast describes food that is usually the first meal of the day, eaten during the morning")	Food.kif 1701-1702
(instance Breakfast RelationalAttribute)	Food.kif 1700-1700	Breakfast is an instance of relational attribute

appearance as argument number 2

(subAttribute ContinentalBreakfast Breakfast)	Food.kif 1718-1718	Continental breakfast is a subattribute of breakfast
(termFormat EnglishLanguage Breakfast "breakfast")	Food.kif 1703-1703

antecedent

(=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely))	Dining.kif 295-303	If an object is an instance of buffet and breakfast is an attribute of the object, then the statement for all an entity if the entity is a member of the object, then breakfast is an attribute of the entity has the modal force of likely
(=> (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	If an object is an instance of meal and breakfast is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of breakfast time has the modal force of likely

consequent

(=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely))	Dining.kif 295-303	If an object is an instance of buffet and breakfast is an attribute of the object, then the statement for all an entity if the entity is a member of the object, then breakfast is an attribute of the entity has the modal force of likely
(=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner)))	Hotel.kif 1585-1590	If a meal plan is an instance of full board, then meals of type breakfast are includes in the meal plan and meals of type lunch are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner)))	Hotel.kif 1597-1601	If a meal plan is an instance of half board, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X MealPlanBreakfast) (includedMeal ?X Breakfast))	Hotel.kif 1628-1630	If a meal plan is an instance of modified american meal plan, then meals of type breakfast are includes in the meal plan
(=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch))))	Hotel.kif 1638-1644	If a meal plan is an instance of meal plan modified american, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan or meals of type lunch are includes in the meal plan

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