FoodForFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance FoodForFn UnaryFunction)	Merge.kif 15165-15165
(domainSubclass FoodForFn 1 Organism)	Merge.kif 15166-15166
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 15167-15167
(documentation FoodForFn EnglishLanguage "A Function that denotes the class of all SelfConnectedObjects 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 15168-15171
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png")	pictureList.kif 440-440

appearance as argument number 2

(relatedInternalConcept Fodder FoodForFn)	Mid-level-ontology.kif 22252-22252
(format EnglishLanguage FoodForFn "food for %1")	domainEnglishFormat.kif 3466-3466
(format ChineseTraditionalLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3467-3467
(format ChineseLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3468-3468
(termFormat EnglishLanguage FoodForFn "food for fn")	domainEnglishFormat.kif 64881-64881

antecedent

(=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))	Merge.kif 15173-15178
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17988-17993
(=> (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 903-912

consequent

(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD))))	Merge.kif 13157-13162
(=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human)))	Mid-level-ontology.kif 2568-2570
(=> (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 2585-2594
(=> (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 5044-5053
(=> (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 8578-8588
(=> (instance ?STORE GroceryStore) (exists (?SELL ?FOOD) (and (instance ?SELL Selling) (agent ?SELL ?STORE) (patient ?SELL ?FOOD) (instance ?FOOD (FoodForFn Animal)))))	Mid-level-ontology.kif 9139-9146
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Mid-level-ontology.kif 10743-10749
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 13054-13058
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 13076-13080
(=> (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 22256-22265
(=> (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 22843-22865
(=> (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
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182
(=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Dining.kif 260-265
(=> (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
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4367-4372
(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4527-4536
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal))))))	Economy.kif 5146-5155
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism)))	Food.kif 51-53
(=> (instance ?TW TapWater) (modalAttribute (instance ?TW (FoodForFn Human)) Likely))	Food.kif 286-290
(=> (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 1569-1582
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Food.kif 1666-1671
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 4247-4250
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1734-1736
(=> (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-73

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal Food (FoodForFn Human))	Merge.kif 15181-15181
(equal Blood (FoodForFn Mosquito))	Mid-level-ontology.kif 14254-14254
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 23906-23906
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1864-1864
(subclass Pea (FoodForFn Animal))	Economy.kif 4445-4445
(subclass Apple (FoodForFn Animal))	Food.kif 2200-2200
(subclass DateFruit (FoodForFn Animal))	Food.kif 2209-2209
(subclass PearFruit (FoodForFn Animal))	Food.kif 2214-2214
(subclass Avocado (FoodForFn Animal))	Food.kif 2302-2302
(subclass LemonFruit (FoodForFn Animal))	Food.kif 2348-2348
(subclass OrangeFruit (FoodForFn Animal))	Food.kif 2362-2362
(subclass Coconut (FoodForFn Animal))	Food.kif 2391-2391
(subclass WineGrape (FoodForFn Animal))	Food.kif 3728-3728

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners