| 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 16923-16924 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 16922-16922 |
| appearance as argument number 2 |
|
|
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 16936-16936 | |
| (termFormat EnglishLanguage KitchenArea "kitchen area") | Mid-level-ontology.kif 16925-16925 |
| antecedent |
|
|
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 16927-16933 |
| 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 22225-22247 | |
| (=> (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 27415-27425 |
|
|
|