Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Breakfast(breakfast) |  | breakfast |
| appearance as argument number 1 |
|
|
| (instance Breakfast RelationalAttribute) | Food.kif 1713-1713 | Breakfast is an instance of relational attribute |
| (documentation Breakfast EnglishLanguage "Breakfast describes food that is usually the first meal of the day, eaten during the morning") | Food.kif 1714-1715 | Breakfast is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Breakfast "breakfast") | Food.kif 1716-1716 | |
| (subAttribute ContinentalBreakfast Breakfast) | Food.kif 1731-1731 | Continental breakfast is a subattribute of breakfast |
| antecedent |
|
|
| (=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely)) |
Dining.kif 295-303 | If X is an instance of buffet and breakfast is an attribute of X, then the statement Y Y is a member of Xbreakfast is an attribute of Y 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 1719-1729 | If X is an instance of meal, breakfast is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of breakfast time has the modal force of likely |
| consequent |
|
|
|