Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  range
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Buffet CollectionOfObjects) | Dining.kif 255-255 | Buffet is a subclass of collection |
| (documentation Buffet EnglishLanguage "Buffet refers to a CollectionOfObjects of Food that is served in a central location where guests can get their own servings") | Dining.kif 256-257 | Buffet is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Buffet "buffet") | Dining.kif 258-258 |
| antecedent |
|
|
| (=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Dining.kif 260-265 | If X is an instance of buffet, then For all Physical Y: if Y is a member of X, then Y is an instance of food for human |
| (=> (instance ?X Buffet) (attribute ?X CommunalAttribute)) |
Dining.kif 267-269 | If X is an instance of buffet, then communal is an attribute of X |
| (=> (and (instance ?X Buffet) (member ?ITEM ?X) (located ?X ?LOC1) (instance ?E Eating) (agent ?E ?AGENT) (eventLocated ?E ?LOC2) (patient ?E ?ITEM)) (and (not (equal ?LOC1 ?LOC2)) (exists (?G) (and (instance ?G Getting) (patient ?G ?ITEM) (origin ?G ?LOC1) (agent ?G ?AGENT) (before (WhenFn ?G) (WhenFn ?E)))))) |
Dining.kif 274-291 | If All of the following hold: (1) X is an instance of buffet (2) Y is a member of X (3) X is located at Z (4) W is an instance of eating (5) V is an agent of W (6) W is located at U (7) Y is a patient of W, then equal Z and U and there exists T such that T is an instance of getting, Y is a patient of T, T originates at Z, V is an agent of T, and the time of existence of T happens before the time of existence of W |
| (=> (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 |
|