| 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 13275-13276 | |
| (subclass DiningArea Region) | Mid-level-ontology.kif 13274-13274 |
| appearance as argument number 2 |
|
|
| (subclass DiningRoom DiningArea) | Mid-level-ontology.kif 13289-13289 | |
| (subclass OutdoorDiningArea DiningArea) | Dining.kif 153-153 | |
| (termFormat EnglishLanguage DiningArea "dining area") | Mid-level-ontology.kif 13277-13277 |
| antecedent |
|
|
| (=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 13279-13285 |
| 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 ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 6943-6948 | |
| (=> (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 |
|
|
|