Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| KitchenArea(kitchen area) |  | galley, kitchenette |
| appearance as argument number 1 |
|
|
| (subclass KitchenArea Region) | Mid-level-ontology.kif 17140-17140 | 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 17141-17142 | 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 17143-17143 | |
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 17154-17154 | 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 17145-17151 | 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 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 |
|