Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Restaurant(restaurant)
|  | bistro, brasserie, canteen, cybercafe, espresso_shop, greasy_spoon, grill, grillroom, hash_house, lunchroom, mobile_canteen, pizza_parlor, pizza_shop, pizzeria, rathskeller, tea_parlor, tea_parlour, teahouse, tearoom, teashop |
| appearance as argument number 1 |
|
|
| (subclass Restaurant Business) | Mid-level-ontology.kif 8573-8573 | Restaurant is a subclass of business |
| (documentation Restaurant EnglishLanguage "Any Business whose services include selling Food to customers which is intended to be eaten on the premises.") | Mid-level-ontology.kif 8574-8575 | Restaurant is a subclass of business |
| (externalImage Restaurant "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ restaurant.png") | pictureList.kif 692-692 | Restaurant is a subclass of business |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human))))) |
Mid-level-ontology.kif 8578-8588 | If X is an instance of restaurant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of commercial service (3) X is an agent of Y (4) Y is an instance of selling (5) W is an instance of restaurant building (6) Y is located at W (7) Z is a patient of Y (8) Z is an instance of food for human |
| (=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 8594-8599 | If X is an instance of restaurant, then there exists Y such that X possesses Y and Y is an instance of dining area |
| (=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))) |
Mid-level-ontology.kif 22843-22865 | If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
| (=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1230-1249 | If All of the following hold: (1) X is an instance of restaurant (2) Y is an instance of dining room (3) private attribute is an attribute of Y (4) X possesses Y (5) X is a customer of Z (6) W is an instance of eating (7) Z is an agent of W (8) Z is an instance of group of people, then All of the following hold: (1) the statement there don't exist V (2) U such that X is a customer of V (3) equal Z (4) V (5) U is an instance of eating (6) V is an agent of U (7) U is located at Y holds during the time of existence of W has the modal force of likely |
| consequent |
|
|
| (=> (instance ?X DiningGuide) (exists (?LOC ?REST) (and (instance ?LOC GeographicArea) (refers ?X ?LOC) (instance ?REST Restaurant) (located ?REST ?LOC) (refers ?X ?REST)))) |
Mid-level-ontology.kif 29025-29033 | If X is an instance of dining guide, then there exist Y, Z such that Y is an instance of geographic area, X includes a reference to Y, Z is an instance of restaurant, Z is located at Y, and X includes a reference to Z |
| (=> (instance ?R DiningReservation) (exists (?AGENT) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant)))) |
Dining.kif 749-754 | If X is an instance of dining reservation, then there exists Y such that Y fulfills X and Y is an instance of restaurant |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 3058-3062 | If X believes Y is Z and Z is an instance of restaurant rating, then Y is an instance of restaurant |
|