Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass PreparedFood Food) | Mid-level-ontology.kif 2561-2561 | Food is a subclass of food |
| (subclass PreparedFood Mixture) | Mid-level-ontology.kif 2562-2562 | 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.") | Mid-level-ontology.kif 2563-2565 | Food is a subclass of mixture |
| (externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") | pictureList.kif 909-909 | 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 food |
| antecedent |
|
|
| (=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human))) |
Mid-level-ontology.kif 2568-2570 | If X is an instance of food, then X is an instance of food for human |
| (=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2572-2577 | If X is an instance of food, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
| (=> (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 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 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 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood)) |
Dining.kif 1133-1137 | If X is an attribute of Y and X is an instance of food attribute, then Y is an instance of food |
| (=> (and (attribute ?X ?Y) (instance ?Y Cuisine)) (instance ?X PreparedFood)) |
Dining.kif 1265-1269 | If X is an attribute of Y and X is an instance of cuisine, then Y is an instance of 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 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 313-330 | 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 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 337-345 | If X is an instance of microwave, then X has the purpose there exist Y, Z such that Y is an instance of 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 1987-2005 | 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 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 3070-3078 | 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 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 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 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 food |
|
