FoodForFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FoodForFn ChineseLanguage "这是一个 Function，它用来表示 SelfConnectedObject 所含的 Nutrient，如碳水化物、蛋白质和脂肪等，它们可以由某一类有生命的 Animal 摄入体内然后经过新陈代谢成为能量和身体组织。")	chinese_format.kif 3482-3484
(documentation FoodForFn EnglishLanguage "A Function that denotes SelfConnectedObject containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a the given class of living Animal and metabolized into energy and body tissue.")	Merge.kif 14906-14909
(domainSubclass FoodForFn 1 Organism)	Merge.kif 14904-14904	The number 1 argument of food for fn is a subclass of organism
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png")	pictureList.kif 440-440	The number 1 argument of food for fn is a subclass of organism
(instance FoodForFn UnaryFunction)	Merge.kif 14903-14903	Food for fn is an instance of unary function
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 14905-14905	The values returned by food for fn are subclasses of self connected object

appearance as argument number 2

(format ChineseLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3464-3464
(format ChineseTraditionalLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3463-3463
(format EnglishLanguage FoodForFn "food for %1")	domainEnglishFormat.kif 3462-3462
(relatedInternalConcept Fodder FoodForFn)	Mid-level-ontology.kif 20295-20295	Fodder is internally related to food for fn
(termFormat EnglishLanguage FoodForFn "food for fn")	domainEnglishFormat.kif 64903-64903	Fodder is internally related to food for fn

antecedent

(=> (and (subjectiveAttribute ?X Won ?JUDGE) (instance ?X (FoodForFn Human))) (exists (?CONTEST ?AGENT ?PROC) (and (contestObject ?CONTEST ?X ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (subProcess ?PROC ?CONTEST))))	Dining.kif 900-909	If an agent believes an object is won and the object is an instance of food for human, then there exist a contest, another agent and a process such that the other agent entered the object in the contest and the process is an instance of judging and the agent is an agent of the process and the process is a subprocess of the contest
(=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))	Merge.kif 14911-14916	If an object is an instance of food for a kind of organism, then there exists another object such that the other object is an instance of nutrient and the other object is a part of the object
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17710-17715	If an object is an instance of food for animal, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object

consequent

(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4310-4319	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20859-20881	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10288-10294	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 11772-11776	If a process is an instance of chewing and an object is a resource for the process, then the object is an instance of food for organism
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 11794-11798	If a process is an instance of feeding and an entity is a patient of the process, then the entity is an instance of food for animal
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	If a catalog is an instance of menu and a kind of entity is in the catalog, then a kind of entity is a subclass of food for human
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING))))))	naics.kif 7319-7333	If a collection is an instance of organization and food and beverage stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an entity such that the agent is an instance of selling and the entity is an instance of food for animal or the entity is an instance of beverage and the entity is a patient of the agent
(=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD)))))	Dining.kif 610-627	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 1979-1988	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism)))	Food.kif 51-53	If raw food is an attribute of an object, then the object is an instance of food for organism
(=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal))))))	Mid-level-ontology.kif 20299-20308	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal))))))	Economy.kif 4924-4933	If forage crop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of food for domestic animal
(=> (attribute ?X SnackAndNonalcoholicBeverageBars) (hasPurpose ?X (exists (?SELL ?FOOD) (and (instance ?FOOD (FoodForFn Human)) (instance ?SELL Selling) (patient ?SELL ?FOOD) (agent ?SELL ?X)))))	naics.kif 11668-11676	If snack and nonalcoholic beverage bars is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of food for human and the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity
(=> (instance ?BAKERY Bakery) (exists (?SERVICE ?FOOD ?BAKE) (and (instance ?BAKE Baking) (result ?BAKE ?FOOD) (instance ?FOOD (FoodForFn Human)) (agent ?BAKE ?BAKERY) (instance ?SERVICE CommercialService) (agent ?SERVICE ?BAKERY) (instance ?SERVICE Selling) (patient ?SERVICE ?FOOD))))	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
(=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human)))))	Mid-level-ontology.kif 7499-7509	If an agent is an instance of restaurant, then there exist a process, an entity and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the object is an instance of restaurant building and the process is located at the object and the entity is a patient of the process and the entity is an instance of food for human
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD))))	Merge.kif 12913-12918	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for human and the entity is a result of the process
(=> (instance ?D Dish) (hasPurpose ?D (exists (?F ?E) (and (instance ?E Eating) (patient ?E ?F) (patient ?E ?D) (instance ?F (FoodForFn Animal)) (located ?F ?D)))))	Mid-level-ontology.kif 4428-4437	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
(=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD)))))	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
(=> (instance ?S Sandwich) (exists (?B1 ?B2 ?F) (and (instance ?B1 BreadOrBiscuit) (instance ?B2 BreadOrBiscuit) (instance ?F (FoodForFn Human)) (between ?B1 ?F ?B2) (not (equal ?B1 ?B2)) (not (equal ?B1 ?F)) (not (equal ?B2 ?F)) (part ?B1 ?S) (part ?B2 ?S) (part ?F ?S))))	Food.kif 1584-1597	If an object is an instance of sandwich, then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object
(=> (instance ?STORE GroceryStore) (exists (?SELL ?FOOD) (and (instance ?SELL Selling) (agent ?SELL ?STORE) (patient ?SELL ?FOOD) (instance ?FOOD (FoodForFn Animal)))))	Mid-level-ontology.kif 8036-8043	If an agent is an instance of grocery store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of food for animal
(=> (instance ?T MilitaryFoodTruck) (capability (KappaFn ?P (and (instance ?P Transportation) (instance ?F (FoodForFn Animal)) (patient ?P ?F))) instrument ?T))	Military.kif 210-218	If an object is an instance of military food truck, then the object is capable of doing the class described by a symbolic string as a instrument
(=> (instance ?TW TapWater) (modalAttribute (instance ?TW (FoodForFn Human)) Likely))	Food.kif 285-289	If an entity is an instance of tap water, then the statement the entity is an instance of food for human has the modal force of likely
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4150-4155	If an entity is an instance of a dead cereal grain, then there exists a kind of self connected object such that the entity is an instance of a kind of self connected object and the kind of self connected object is equal to food for animal
(=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Dining.kif 260-265	If a collection is an instance of buffet, then for all a physical if the physical is a member of the collection, then the physical is an instance of food for human
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1723-1725	If a collection is an instance of mini bar, then food for human is a member type of the collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal Blood (FoodForFn Mosquito))	Mid-level-ontology.kif 12855-12855	Blood is equal to food for mosquito
(equal Food (FoodForFn Human))	Merge.kif 14919-14919	Food is equal to food for human
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1744-1744	Food for animal is an industry product type of food manufacturing
(subclass Apple (FoodForFn Animal))	Food.kif 2180-2180	Apple is a subclass of food for animal
(subclass Avocado (FoodForFn Animal))	Food.kif 2282-2282	Avocado is a subclass of food for animal
(subclass Coconut (FoodForFn Animal))	Food.kif 2371-2371	Coconut is a subclass of food for animal
(subclass DateFruit (FoodForFn Animal))	Food.kif 2189-2189	Date fruit is a subclass of food for animal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 21891-21891	Honey is a subclass of food for animal
(subclass LemonFruit (FoodForFn Animal))	Food.kif 2328-2328	Lemon fruit is a subclass of food for animal
(subclass OrangeFruit (FoodForFn Animal))	Food.kif 2342-2342	Orange fruit is a subclass of food for animal
(subclass Pea (FoodForFn Animal))	Economy.kif 4228-4228	Pea is a subclass of food for animal
(subclass PearFruit (FoodForFn Animal))	Food.kif 2194-2194	Pear fruit is a subclass of food for animal
(subclass WineGrape (FoodForFn Animal))	Food.kif 3689-3689	Wine grape is a subclass of food for animal

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

KB Term:			Term intersection

English Word: