PreparedFood - Sigma Knowledge base Browser

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 a catalog is an instance of set menu and an agent offers items for sale in the catalog and a kind of entity is in the catalog and a kind of entity is a subclass of prepared food and a physical is an instance of a class and another physical is an instance of the kind of entity and the physical is not equal to the other physical and the physical is price a currency measure for the agent1 and the other physical is price another currency measure for the agent2, then the currency measure is equal to the other currency measure
(=> (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 4384-4399	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X))))	Food.kif 319-324	If an entity is an instance of prepared food, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
(=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human)))	Food.kif 315-317	If an entity is an instance of prepared food, then the entity is an instance of food for human

consequent

(=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood))	Dining.kif 1130-1134	If an attribute is an attribute of an object and the attribute is an instance of food attribute, then the object is an instance of prepared food
(=> (and (attribute ?X ?Y) (instance ?Y Cuisine)) (instance ?X PreparedFood))	Dining.kif 1262-1266	If an attribute is an attribute of an object and the attribute is an instance of cuisine, then the object is an instance of prepared food
(=> (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 a physical is an instance of microwave, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of prepared food and the other entity is an instance of heating and the physical is an instrument for the other entity and the entity is a patient of the other entity
(=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood)))))	Hotel.kif 3052-3060	If a physical is an instance of food rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity 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 4374-4382	If a physical is an instance of spice, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of prepared food
(=> (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 1969-1987	If a process is an instance of room service, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
(=> (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 an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

(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

(subclass Beverage PreparedFood)	Food.kif 389-389	Beverage is a subclass of prepared food
(subclass BreadOrBiscuit PreparedFood)	Food.kif 1555-1555	Bread or biscuit is a subclass of prepared food
(subclass Chocolate PreparedFood)	Food.kif 2435-2435	Chocolate is a subclass of prepared food
(subclass CookedDish PreparedFood)	Food.kif 1575-1575	Cooked dish is a subclass of prepared food
(subclass CuredMeat PreparedFood)	Food.kif 2125-2125	Cured meat is a subclass of prepared food
(subclass DairyArtifact PreparedFood)	Food.kif 2817-2817	Dairy product is a subclass of prepared food
(subclass Dough PreparedFood)	Food.kif 1599-1599	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 2778-2778	Fermented food is a subclass of prepared food
(subclass Flour PreparedFood)	Food.kif 1469-1469	Flour is a subclass of prepared food
(subclass Jam PreparedFood)	Food.kif 1748-1748	Jam is a subclass of prepared food
(subclass Pasta PreparedFood)	Food.kif 2737-2737	Pasta is a subclass of prepared food
(subclass Raisin PreparedFood)	Food.kif 3322-3322	Raisin is a subclass of prepared food
(subclass Sauce PreparedFood)	Food.kif 2061-2061	Sauce is a subclass of prepared food
(subclass Sorbet PreparedFood)	Food.kif 3440-3440	Sorbet is a subclass of prepared food
(subclass SoupStock PreparedFood)	Food.kif 1618-1618	Soup stock is a subclass of prepared food
(subclass Spice PreparedFood)	Economy.kif 4359-4359	Spice is a subclass of prepared food
(subclass Tofu PreparedFood)	Food.kif 3508-3508	Tofu is a subclass of prepared food
(termFormat ChineseLanguage PreparedFood "已准备食物")	domainEnglishFormat.kif 47248-47248	Tofu is a subclass of prepared food
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物")	domainEnglishFormat.kif 47247-47247	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 47246-47246	Tofu is a subclass of prepared food

KB Term:			Term intersection

English Word: