| PreparedFood
| |
| appearance as argument number 1 |
|
|
| (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 | |
| (externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") | pictureList.kif 909-909 | |
| (subclass PreparedFood Food) | Food.kif 308-308 | |
| (subclass PreparedFood Mixture) | Food.kif 309-309 |
| appearance as argument number 2 |
|
|
| 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 | |
| (=> (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 4722-4737 | |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Food.kif 319-324 | |
| (=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human))) |
Food.kif 315-317 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood)) |
Dining.kif 1130-1134 | |
| (=> (and (attribute ?X ?Y) (instance ?Y Cuisine)) (instance ?X PreparedFood)) |
Dining.kif 1262-1266 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood))))) |
Economy.kif 4712-4720 | |
| (=> (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 | |
| (=> (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 |
|
|
|