Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Waiter(waiter) |  | dining-room_attendant, restaurant_attendant, server, waiter |
| appearance as argument number 1 |
|
|
| (instance Waiter ServicePosition) | Mid-level-ontology.kif 22834-22834 | Waiter is an instance of service position |
| (documentation Waiter EnglishLanguage "Waiter refers to the ServicePosition present in Restaurant that brings food from the kitchen to the customer's table") | Mid-level-ontology.kif 22835-22836 | Waiter is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Waiter "waiter") | Mid-level-ontology.kif 22837-22837 |
| antecedent |
|
|
| (=> (attribute ?X Waiter) (instance ?X Human)) |
Mid-level-ontology.kif 22839-22841 | If waiter is an attribute of X, then X is an instance of human |
| (=> (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 |
|