| PreparedFood(prepared food)
|
| appearance as argument number 1 |
|
| (subclass PreparedFood Food) | Food.kif 308-308 | Prepared food is a subclass of food |
| (subclass PreparedFood Mixture) | Food.kif 309-309 | Prepared food is a subclass of mixture |
| (documentation PreparedFood EnglishLanguage "PreparedFood refers to anything that undergoes some process intended to result in an object that has Nutrient which can be ingested by Human, normally metabolized into energy and body tissue.") | Food.kif 310-312 | Prepared food is a subclass of mixture |
| (externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") | pictureList.kif 909-909 | Prepared food is a subclass of mixture |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain LessonOnCookingFoodFn 1 PreparedFood) | Offers.kif 292-292 | The number 1 argument of LessonOnCookingFoodFn is an instance of prepared food |
| antecedent |
|
|
| (=> (and (instance ?MENU SetMenu) (offers ?AGENT ?MENU) (catalogItem ?CLASS ?MENU) (subclass ?CLASS PreparedFood) (instance ?X ?VLASS) (instance ?Y ?CLASS) (not (equal ?X ?Y)) (price ?X ?PRICE1 ?AGENT1) (price ?Y ?PRICE2 ?AGENT2)) (equal ?PRICE1 ?PRICE2)) |
Dining.kif 189-201 | If All of the following hold: (1) X is an instance of set menu (2) Y offers items for sale in X (3) Z is in X (4) Z is a subclass of prepared food (5) W is an instance of V (6) U is an instance of Z (7) equal W and U (8) W is price T for S (9) U is price R for Q, then equal T and R |
| (=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute))))) |
Economy.kif 4717-4732 | If X is an instance of putting, Y is a patient of X, Y is an instance of spice, X ends up at Z, and Z is an instance of prepared food, then there exist W, V such that W is an instance of internal change, Z is a patient of W, V is a result of W, V is an attribute of Z, and V is an instance of flavour attribute or V is an instance of color attribute |
| (=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human))) |
Food.kif 315-317 | If X is an instance of prepared food, then X is an instance of food for human |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Food.kif 319-324 | If X is an instance of prepared food, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood)) |
Dining.kif 1130-1134 | If X is an attribute of Y and X is an instance of food attribute, then Y is an instance of prepared food |
| (=> (and (attribute ?X ?Y) (instance ?Y Cuisine)) (instance ?X PreparedFood)) |
Dining.kif 1262-1266 | If X is an attribute of Y and X is an instance of cuisine, then Y is an instance of prepared food |
| (=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood))))) |
Economy.kif 4707-4715 | If X is an instance of spice, then X has the purpose there exist Y, Z such that Y is an instance of putting, X is a patient of Y, Y ends up at Z, and Z is an instance of prepared food |
| (=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X)))) |
Food.kif 331-348 | If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of prepared food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X |
| (=> (instance ?M Microwave) (hasPurpose ?M (exists (?FOOD ?HEATING) (and (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?M) (patient ?HEATING ?FOOD))))) |
Food.kif 355-363 | If X is an instance of microwave, then X has the purpose there exist Y, Z such that Y is an instance of prepared food, Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z |
| (=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1980-1998 | If X is an instance of room service, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Y is a customer of W (3) Y is an agent of X (4) V is an instance of requesting (5) W is an agent of V (6) U is a patient of V (7) U expresses Z (8) Z is an instance of prepared food (9) W is located at S (10) S is an instance of hotel unit (11) T is an instance of delivery service (12) Z is a patient of T (13) T ends up at S (14) the beginning of the time of existence of V happens before the beginning of the time of existence of T |
| (=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood))))) |
Hotel.kif 3063-3071 | If X is an instance of food rating, then X has the purpose there exist Y, Z such that Y is an instance of classifying, Y ends up at Z, X is a patient of Y, and Z is an instance of prepared food |
| (=> (instance ?DEVICE CookerPad) (hasPurpose ?DEVICE (exists (?PAN ?FOOD ?HEATING) (and (instance ?PAN PotOrPan) (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?DEVICE) (patient ?HEATING ?FOOD) (located ?FOOD ?PAN))))) |
HouseholdAppliances.kif 743-753 | If X is an instance of cooker pad, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of pot or pan (3) Z is an instance of prepared food (4) W is an instance of heating (5) X is an instrument for W (6) Z is a patient of W (7) Z is located at Y |
| (=> (instance ?DEVICE FoodMixer) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES PreparedFood) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 878-886 | If X is an instance of food mixer, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of prepared food, and Z is a result of Y |
| (=> (instance ?DEVICE FoodProcessor) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (result ?COOKING ?RES) (instance ?RES PreparedFood))))) |
HouseholdAppliances.kif 894-901 | If X is an instance of food processor, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is a result of Y, and Z is an instance of prepared food |
|
|
|