TreeView 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 13813-13816
(domainSubclass FoodForFn 1 Organism)	Merge.kif 13811-13811	domainSubclass FoodForFn, 1 and Organism
(externalImage FoodForFn "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ food.png")	pictureList.kif 440-440
(instance FoodForFn UnaryFunction)	Merge.kif 13810-13810	instance FoodForFn and UnaryFunction
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 13812-13812	rangeSubclass FoodForFn and SelfConnectedObject

appearance as argument number 2

(format ChineseLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3471-3471
(format ChineseTraditionalLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3470-3470
(format EnglishLanguage FoodForFn "food for %1")	domainEnglishFormat.kif 3469-3469

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 853-862	subjectiveAttribute Object, Won and Agent instance Object and FoodForFn Human Contest Agent and Process contestObject Contest, Object and Agent instance Process and Judging agent Process and Agent subProcess Process and Contest
(=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))	Merge.kif 13818-13823	instance Object and FoodForFn Organism Object instance Object and Nutrient part Object and Object
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 16407-16412	instance Object and FoodForFn Animal Attribute instance Attribute and TasteAttribute attribute Object and Attribute

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 18286-18307	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Merge.kif 9664-9668	instance Process and Ingesting resource Process and Object instance Object and FoodForFn Organism
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 9772-9776	instance Process and Chewing resource Process and Object instance Object and FoodForFn Organism
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 9793-9797	instance Process and Feeding patient Process and Entity instance Entity and FoodForFn Animal
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	instance Catalog and Menu catalogItem Entity and Catalog subclass Entity and FoodForFn 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 7326-7340	instance Collection and Organization attribute Collection and FoodAndBeverageStores Agent Object member Object and Collection agent Object and Agent Entity instance Agent and Selling instance Entity and FoodForFn Animal instance Entity and Beverage patient Agent and Entity
(=> (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 564-581	instance Process and FoodPickup agent Process and Agent destination Process and Agent patient Process and Entity instance Entity and FoodForFn Human Object Process and Process located Agent and Object instance Process and Translocation agent Process and Agent destination Process and Object instance Process and Getting origin Process and Agent destination Process and Agent patient Process and Entity
(=> (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 2447-2456	instance Transfer and Vending objectTransferred Transfer and Object instance Object and Currency modalAttribute instance Object and FoodForFn Human instance Object and Beverage and Likely
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism)))	Food.kif 34-36	attribute Object and RawAttribute instance Object and FoodForFn Organism
(=> (attribute ?X SnackAndNonalcoholicBeverageBars) (hasPurpose ?X (exists (?SELL ?FOOD) (and (instance ?FOOD (FoodForFn Human)) (instance ?SELL Selling) (patient ?SELL ?FOOD) (agent ?SELL ?X)))))	naics.kif 11591-11599	attribute Object and SnackAndNonalcoholicBeverageBars hasPurpose Object and entity entity instance entity and FoodForFn Human instance entity and Selling patient entity and entity agent entity and Object
(=> (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	instance Agent and Bakery Process Entity and Process instance Process and Baking result Process and Entity instance Entity and FoodForFn Human agent Process and Agent instance Process and CommercialService agent Process and Agent instance Process and Selling patient Process and Entity
(=> (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 6926-6936	instance Agent and Restaurant Process Entity and Entity instance Process and CommercialService agent Process and Agent instance Process and Selling instance Entity and RestaurantBuilding eventLocated Process and Entity patient Process and Entity instance Entity and FoodForFn Human
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Organism)) (result ?COOK ?FOOD))))	Merge.kif 11921-11926	instance Process and Cooking Entity instance Entity and FoodForFn Organism result Process and Entity
(=> (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 4907-4916	instance Physical and Dish hasPurpose Physical and entity entity instance entity and Eating patient entity and entity patient entity and Physical instance entity and FoodForFn Animal located entity and 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	instance Process and FoodDistributionOperation Entity Entity instance Entity and FoodForFn Animal instance Entity and CognitiveAgent patient Process and Entity destination Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and possesses Entity and Entity
(=> (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))))	Mid-level-ontology.kif 19347-19360	instance Object and Sandwich Object Object and Object instance Object and BreadOrBiscuit instance Object and BreadOrBiscuit instance Object and FoodForFn Human between Object, Object and Object equal Object and Object equal Object and Object equal Object and Object part Object and Object part Object and Object part Object and 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 7504-7511	instance Agent and GroceryStore Process Entity instance Process and Selling agent Process and Agent patient Process and Entity instance Entity and FoodForFn Animal
(=> (instance ?T MilitaryFoodTruck) (capability (KappaFn ?P (and (instance ?P Transportation) (instance ?F (FoodForFn Animal)) (patient ?P ?F))) instrument ?T))	Military.kif 210-218	instance Object and MilitaryFoodTruck capability KappaFn SymbolicString and instance SymbolicString and Transportation instance entity and FoodForFn Animal patient SymbolicString and entity, instrument and Object
(=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Dining.kif 256-261	instance Collection and Buffet Object member Object and Collection instance Object and FoodForFn Human
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1671-1673	instance Collection and HotelMiniBar memberType Collection and FoodForFn Human
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Food.kif 92-97	instance Collection and Meal Object member Object and Collection instance Object and FoodForFn Human
(=> (instance ?X PreparedFood) (instance ?X (FoodForFn Organism)))	Mid-level-ontology.kif 19221-19223	instance Entity and PreparedFood instance Entity and FoodForFn Organism

statement

(equal Food (FoodForFn Human))	Merge.kif 13826-13826	equal Food and FoodForFn Human
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1748-1748	industryProductType FoodManufacturing and FoodForFn Animal
(subclass Apple (FoodForFn Animal))	Mid-level-ontology.kif 19477-19477	subclass Apple and FoodForFn Animal
(subclass Avocado (FoodForFn Animal))	Mid-level-ontology.kif 19492-19492	subclass Avocado and FoodForFn Animal
(subclass Coconut (FoodForFn Animal))	Mid-level-ontology.kif 19442-19442	subclass Coconut and FoodForFn Animal
(subclass DateFruit (FoodForFn Animal))	Mid-level-ontology.kif 19482-19482	subclass DateFruit and FoodForFn Animal
(subclass Fodder (FoodForFn DomesticAnimal))	Mid-level-ontology.kif 17814-17814	subclass Fodder and FoodForFn DomesticAnimal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 19428-19428	subclass Honey and FoodForFn Animal
(subclass LemonFruit (FoodForFn Animal))	Economy.kif 3947-3947	subclass LemonFruit and FoodForFn Animal
(subclass OrangeFruit (FoodForFn Animal))	Economy.kif 3954-3954	subclass OrangeFruit and FoodForFn Animal
(subclass Pea (FoodForFn Animal))	Mid-level-ontology.kif 19406-19406	subclass Pea and FoodForFn Animal
(subclass PearFruit (FoodForFn Animal))	Mid-level-ontology.kif 19487-19487	subclass PearFruit and FoodForFn Animal

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

KB Term:			Term intersection

English Word: