![]() |
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 | Prepared food is a subclass of food |
(subclass PreparedFood Mixture) | Food.kif 309-309 | Prepared food is a subclass of mixture |
appearance as argument number 2 |
![]() |
(subclass Beverage PreparedFood) | Food.kif 389-389 | Beverage is a subclass of prepared food |
(subclass BreadOrBiscuit PreparedFood) | Food.kif 1561-1561 | Bread or biscuit is a subclass of prepared food |
(subclass Chocolate PreparedFood) | Food.kif 2442-2442 | Chocolate is a subclass of prepared food |
(subclass CookedDish PreparedFood) | Food.kif 1581-1581 | Cooked dish is a subclass of prepared food |
(subclass CuredMeat PreparedFood) | Food.kif 2132-2132 | Cured meat is a subclass of prepared food |
(subclass DairyArtifact PreparedFood) | Food.kif 2824-2824 | Dairy product is a subclass of prepared food |
(subclass Dough PreparedFood) | Food.kif 1605-1605 | Dough is a subclass of prepared food |
(subclass DrinkingWater PreparedFood) | Food.kif 218-218 | Potable water is a subclass of prepared food |
(subclass FermentedFood PreparedFood) | Food.kif 2785-2785 | Fermented food is a subclass of prepared food |
(subclass Flour PreparedFood) | Food.kif 1475-1475 | Flour is a subclass of prepared food |
(subclass Jam PreparedFood) | Food.kif 1754-1754 | Jam is a subclass of prepared food |
(subclass Pasta PreparedFood) | Food.kif 2744-2744 | Pasta is a subclass of prepared food |
(subclass Raisin PreparedFood) | Food.kif 3329-3329 | Raisin is a subclass of prepared food |
(subclass Sauce PreparedFood) | Food.kif 2067-2067 | Sauce is a subclass of prepared food |
(subclass Sorbet PreparedFood) | Food.kif 3447-3447 | Sorbet is a subclass of prepared food |
(subclass SoupStock PreparedFood) | Food.kif 1624-1624 | Soup stock is a subclass of prepared food |
(subclass Spice PreparedFood) | Economy.kif 4697-4697 | Spice is a subclass of prepared food |
(subclass Tofu PreparedFood) | Food.kif 3515-3515 | Tofu is a subclass of prepared food |
(termFormat ChineseLanguage PreparedFood "已准备食物") | domainEnglishFormat.kif 47212-47212 | Tofu is a subclass of prepared food |
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") | domainEnglishFormat.kif 47211-47211 | Tofu is a subclass of prepared food |
(termFormat EnglishLanguage PreparedFood "food") | Food.kif 313-313 | Tofu is a subclass of prepared food |
(termFormat EnglishLanguage PreparedFood "prepared food") | domainEnglishFormat.kif 47210-47210 | Tofu is a subclass 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 |
|
(=> (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 |
|
![]() |
![]() |