| KitchenArea(kitchen area) | | galley, kitchenette |
| appearance as argument number 1 |
|
|
| (subclass KitchenArea Region) | Mid-level-ontology.kif 17066-17066 | Kitchen area is a subclass of region |
| (documentation KitchenArea EnglishLanguage "a KitchenArea refers to a Region, either Outdoors or Indoors, that is intended for Cooking") | Mid-level-ontology.kif 17067-17068 | Kitchen area is a subclass of region |
| (defaultMinimumMeasure KitchenArea (MeasureFn 4 SquareYard)) |
DimensioningAmenities.kif 116-116 | The minimum expected value of kitchen area is 4 square yard(s) |
| (defaultMaximumMeasure KitchenArea (MeasureFn 25 SquareYard)) |
DimensioningAmenities.kif 117-117 | The maximum expected value of kitchen area is 25 square yard(s) |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage KitchenArea "kitchen area") | Mid-level-ontology.kif 17069-17069 | |
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 17080-17080 | Kitchen is a subclass of kitchen area |
| antecedent |
|
|
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 17071-17077 | If X is an instance of kitchen area, then X has the purpose there exists Y such that Y is an instance of cooking and Y is located at X |
| 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 22909-22931 | 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 28434-28444 | 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 |
|
|
|