Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DiningArea
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DiningArea Region) | Mid-level-ontology.kif 17165-17165 | Dining area is a subclass of region |
| (documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating") | Mid-level-ontology.kif 17166-17167 | Dining area is a subclass of region |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 17170-17176 | If X is an instance of dining area, then X has the purpose there exists Y such that Y is an instance of eating and Y is located at X |
| consequent |
|
|
| (=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 8594-8599 | If X is an instance of restaurant, then there exists Y such that X possesses Y and Y is an instance of dining area |
| (=> (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 22843-22865 | If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
| (=> (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 28338-28348 | If X is an instance of rv, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of bed (3) Z is an instance of dining area (4) W is an instance of kitchen area (5) Y is located at X (6) Z is located at X (7) W is located at X has the modal force of likely |
|