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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(externalImage FoodForFn "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ food.png") pictureList.kif 440-440
(instance FoodForFn UnaryFunction) Merge.kif 14993-14993
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14995-14995

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
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1748-1748
(subclass Apple
    (FoodForFn Animal))
Mid-level-ontology.kif 19439-19439
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 19454-19454
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 19404-19404
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19444-19444
(subclass Fodder
    (FoodForFn DomesticAnimal))
Mid-level-ontology.kif 17787-17787
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 19390-19390
(subclass LemonFruit
    (FoodForFn Animal))
Economy.kif 3947-3947
(subclass OrangeFruit
    (FoodForFn Animal))
Economy.kif 3954-3954
(subclass Pea
    (FoodForFn Animal))
Mid-level-ontology.kif 19368-19368
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19449-19449


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