TreeView 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 equal the physical and 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 equal the currency measure and 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 4722-4737	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 3063-3071	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 4712-4720	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 1980-1998	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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 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

KB Term:			Term intersection

English Word: