|
|
   KitchenArea
|
|
|
| appearance as argument number 1 |
|
|
| (documentation KitchenArea EnglishLanguage "a KitchenArea refers to a Region, either Outdoors or Indoors, that is intended for Cooking") | Mid-level-ontology.kif 15412-15413 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 15411-15411 |
| appearance as argument number 2 |
|
|
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 15425-15425 | |
| (termFormat EnglishLanguage KitchenArea "kitchen area") | Mid-level-ontology.kif 15414-15414 |
| antecedent |
|
|
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 15416-15422 |
| consequent |
|
|
| (=> (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 20434-20456 | |
| (=> (instance ?RV RecreationalVehicle) (modalAttribute (exists (?BED ?DINING ?KITCHEN) (and (instance ?BED Bed) (instance ?DINING DiningArea) (instance ?KITCHEN KitchenArea) (located ?BED ?RV) (located ?DINING ?RV) (located ?KITCHEN ?RV))) Likely)) |
Mid-level-ontology.kif 25868-25878 |
|
|
|