| DiningArea | |
| appearance as argument number 1 |
|
|
| (documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating") | Mid-level-ontology.kif 12988-12989 | |
| (subclass DiningArea Region) | Mid-level-ontology.kif 12987-12987 |
| appearance as argument number 2 |
|
|
| (subclass DiningRoom DiningArea) | Mid-level-ontology.kif 13002-13002 | |
| (subclass OutdoorDiningArea DiningArea) | Dining.kif 156-156 | |
| (termFormat EnglishLanguage DiningArea "dining area") | Mid-level-ontology.kif 12990-12990 |
| antecedent |
|
|
| (=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 12992-12998 |
| 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 17900-17921 | |
| (=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 6958-6963 | |
| (=> (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 23245-23255 |
|
|
|