Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodForFn

Sigma KEE - FoodForFn
FoodForFn

appearance as argument number 1
-------------------------


(documentation FoodForFn ChineseLanguage "这是一个 Function,它用来表示 SelfConnectedObject 所含的 Nutrient,如碳水化物、蛋白质和脂肪等,它们可以由某一类有生命的 Animal 摄入体内然后经过 新陈代谢成为能量和身体组织。") Merge.kif 15000-15002
(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 14996-14999
(domainSubclass FoodForFn 1 Organism) Merge.kif 14994-14994 The number 1 argument of FoodForFn is a subclass of organism
(externalImage FoodForFn "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ food.png") pictureList.kif 440-440 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ food/ food.png" is a URL depicting FoodForFn
(instance FoodForFn UnaryFunction) Merge.kif 14993-14993 FoodForFn is an instance of unary function
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14995-14995 The values returned by FoodForFn are subclasses of self connected object

appearance as argument number 2
-------------------------


(format EnglishLanguage FoodForFn "food for %1") domainEnglishFormat.kif 877-877

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 857-866
(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))
Merge.kif 15004-15009
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 18055-18060

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 18259-18280
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 10310-10314
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9775-9779
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 9796-9800
(=>
    (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
(=>
    (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 568-585
(=>
    (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 2446-2455
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 19268-19270
(=>
    (attribute ?X SnackAndNonalcoholicBeverageBars)
    (hasPurpose ?X
        (exists (?SELL ?FOOD)
            (and
                (instance ?FOOD
                    (FoodForFn Human))
                (instance ?SELL Selling)
                (patient ?SELL ?FOOD)
                (agent ?SELL ?X)))))
naics.kif 11593-11601
(=>
    (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 ?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 6946-6956
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 12790-12795
(=>
    (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 4906-4915
(=>
    (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 ?MENU Menu)
    (forall (?X)
        (=>
            (catalogItem ?X ?MENU)
            (subclass ?X
                (FoodForFn Human)))))
Dining.kif 181-186
(=>
    (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 19309-19322
(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))
Mid-level-ontology.kif 7523-7530
(=>
    (instance ?T MilitaryFoodTruck)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Transportation)
                (instance ?F
                    (FoodForFn Animal))
                (patient ?P ?F))) instrument ?T))
Military.kif 210-218
(=>
    (instance ?X Buffet)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))
Dining.kif 263-268
(=>
    (instance ?X HotelMiniBar)
    (memberType ?X
        (FoodForFn Human)))
Hotel.kif 1667-1669
(=>
    (instance ?X Meal)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))
Food.kif 141-146
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19184-19186

statement
-------------------------


(equal Food
    (FoodForFn Human))
Merge.kif 15012-15012 Food is equal to food for human
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
(subclass Apple
    (FoodForFn Animal))
Mid-level-ontology.kif 19439-19439 Apple is a subclass of food for animal
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 19454-19454 Avocado is a subclass of food for animal
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 19404-19404 Coconut is a subclass of food for animal
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19444-19444 Date fruit is a subclass of food for animal
(subclass Fodder
    (FoodForFn DomesticAnimal))
Mid-level-ontology.kif 17787-17787 Fodder is a subclass of food for domestic animal
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 19390-19390 Honey is a subclass of food for animal
(subclass LemonFruit
    (FoodForFn Animal))
Economy.kif 3947-3947 Lemon fruit is a subclass of food for animal
(subclass OrangeFruit
    (FoodForFn Animal))
Economy.kif 3954-3954 Orange fruit is a subclass of food for animal
(subclass Pea
    (FoodForFn Animal))
Mid-level-ontology.kif 19368-19368 Pea is a subclass of food for animal
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19449-19449 Pear fruit is a subclass of food for animal


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners