![]() |
![]() ![]() ![]()
|
![]() |
|
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 15414-15415 | |
(subclass DiningArea Region) | Mid-level-ontology.kif 15413-15413 |
appearance as argument number 2 |
![]() |
(subclass DiningRoom DiningArea) | Mid-level-ontology.kif 15428-15428 | |
(subclass OutdoorDiningArea DiningArea) | Dining.kif 153-153 | |
(termFormat EnglishLanguage DiningArea "dining area") | Mid-level-ontology.kif 15416-15416 |
antecedent |
![]() |
(=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 15418-15424 |
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 20383-20405 | |
(=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 7257-7262 | |
(=> (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 25679-25689 |
![]() |
![]() |