|
|
  Waiter
|
|
|
| appearance as argument number 1 |
|
|
| (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 20620-20621 | |
| (instance Waiter ServicePosition) | Mid-level-ontology.kif 20619-20619 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Waiter "waiter") | Mid-level-ontology.kif 20622-20622 |
| antecedent |
|
|
| (=> (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 20628-20650 | |
| (=> (attribute ?X Waiter) (instance ?X Human)) |
Mid-level-ontology.kif 20624-20626 |
|
|
|