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 摄入体内然后经过 新陈代谢成为能量和身体组织。") 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 13786-13789
(domainSubclass FoodForFn 1 Organism) Merge.kif 13784-13784 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 13783-13783 instance FoodForFn and UnaryFunction
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 13785-13785 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
(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))
Merge.kif 13791-13796
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 16380-16385

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 18261-18282
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Merge.kif 9631-9635
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9778-9782
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 9799-9803
(=>
    (and
        (instance ?MENU Menu)
        (catalogItem ?X ?MENU))
    (subclass ?X
        (FoodForFn Human)))
Dining.kif 178-182
(=>
    (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 564-581
(=>
    (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 2441-2450
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Food.kif 34-36
(=>
    (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
(=>
    (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 6947-6957
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Organism))
            (result ?COOK ?FOOD))))
Merge.kif 11891-11896
(=>
    (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 4901-4910
(=>
    (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 ?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 19322-19335
(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))
Mid-level-ontology.kif 7525-7532
(=>
    (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 256-261
(=>
    (instance ?X HotelMiniBar)
    (memberType ?X
        (FoodForFn Human)))
Hotel.kif 1671-1673
(=>
    (instance ?X Meal)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))
Food.kif 92-97
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19196-19198

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


(equal Food
    (FoodForFn Human))
Merge.kif 13799-13799 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 19452-19452 subclass Apple and FoodForFn Animal
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 19467-19467 subclass Avocado and FoodForFn Animal
(subclass Coconut
    (FoodForFn Animal))
Mid-level-ontology.kif 19417-19417 subclass Coconut and FoodForFn Animal
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19457-19457 subclass DateFruit and FoodForFn Animal
(subclass Fodder
    (FoodForFn DomesticAnimal))
Mid-level-ontology.kif 17789-17789 subclass Fodder and FoodForFn DomesticAnimal
(subclass Honey
    (FoodForFn Animal))
Mid-level-ontology.kif 19403-19403 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 19381-19381 subclass Pea and FoodForFn Animal
(subclass PearFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 19462-19462 subclass PearFruit and FoodForFn 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners