| 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 13251-13252 | |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 13250-13250 |
| appearance as argument number 2 |
|
|
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 13264-13264 | |
| (termFormat EnglishLanguage KitchenArea "kitchen area") | Mid-level-ontology.kif 13253-13253 |
| antecedent |
|
|
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 13255-13261 |
| consequent |
|
|
| (=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 18291-18312 | |
| (=> (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 23730-23740 |
|
|
|