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 15542-15543 | |
(subclass KitchenArea Region) | Mid-level-ontology.kif 15541-15541 | KitchenArea ist eine teilkategorie von Region |
appearance as argument number 2 |
(subclass Kitchen KitchenArea) | Mid-level-ontology.kif 15555-15555 | Kitchen ist eine teilkategorie von KitchenArea |
(termFormat EnglishLanguage KitchenArea "kitchen area") | Mid-level-ontology.kif 15544-15544 |
antecedent |
(=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 15546-15552 |
|
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 20601-20623 |
|
(=> (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 25770-25780 |
|