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 摄入体内然后经过 新陈代谢成为能量和身体组织。") chinese_format.kif 3482-3484
(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 15013-15016
(domainSubclass FoodForFn 1 Organism) Merge.kif 15011-15011 Le nombre 1 argument de FoodForFn est une sous-classe de organisme
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png") pictureList.kif 440-440 Le nombre 1 argument de FoodForFn est une sous-classe de organisme
(instance FoodForFn UnaryFunction) Merge.kif 15010-15010 FoodForFn est une instance de function unaire
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 15012-15012 Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie

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


(format ChineseLanguage FoodForFn "food for %1 ") domainEnglishFormat.kif 3468-3468
(format ChineseTraditionalLanguage FoodForFn "food for %1 ") domainEnglishFormat.kif 3467-3467
(format EnglishLanguage FoodForFn "food for %1") domainEnglishFormat.kif 3466-3466
(relatedInternalConcept Fodder FoodForFn) Mid-level-ontology.kif 21624-21624 Fodder est reli� � l'int�rieur de SUMO � FoodForFn
(termFormat EnglishLanguage FoodForFn "food for fn") domainEnglishFormat.kif 64872-64872 Fodder est reli� � l'int�rieur de SUMO � FoodForFn

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 900-909
(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))		 Merge.kif 15018-15023
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17814-17819

consequent
-------------------------


(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))		 Economy.kif 4532-4541
(=>
    (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 22218-22240
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10392-10398
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))		 Mid-level-ontology.kif 12885-12889
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))		 Mid-level-ontology.kif 12907-12911
(=>
    (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 7319-7333
(=>
    (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
(=>
    (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 2449-2458
(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))		 Food.kif 51-53
(=>
    (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 21628-21637
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Economy.kif 5149-5158
(=>
    (attribute ?X SnackAndNonalcoholicBeverageBars)
    (hasPurpose ?X
        (exists (?SELL ?FOOD)
            (and
                (instance ?FOOD
                    (FoodForFn Human))
                (instance ?SELL Selling)
                (patient ?SELL ?FOOD)
                (agent ?SELL ?X)))))		 naics.kif 11668-11676
(=>
    (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 8442-8452
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Human))
            (result ?COOK ?FOOD))))		 Merge.kif 13021-13026
(=>
    (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 4878-4887
(=>
    (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))))		 Food.kif 1590-1603
(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))		 Mid-level-ontology.kif 8985-8992
(=>
    (instance ?T MilitaryFoodTruck)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Transportation)
                (instance ?F
                    (FoodForFn Animal))
                (patient ?P ?F))) instrument ?T))		 Military.kif 287-295
(=>
    (instance ?TW TapWater)
    (modalAttribute
        (instance ?TW
            (FoodForFn Human)) Likely))		 Food.kif 285-289
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))		 Economy.kif 4372-4377
(=>
    (instance ?X Buffet)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))		 Dining.kif 260-265
(=>
    (instance ?X HotelMiniBar)
    (memberType ?X
        (FoodForFn Human)))		 Hotel.kif 1734-1736

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal Blood
    (FoodForFn Mosquito))		 Mid-level-ontology.kif 13968-13968 equal sang and FoodForFn Mosquito
(equal Food
    (FoodForFn Human))		 Merge.kif 15026-15026 equal nourriture and FoodForFn humain
(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1869-1869 industryProductType FoodManufacturing and FoodForFn animal
(subclass Apple
    (FoodForFn Animal))		 Food.kif 2187-2187 Apple est une sous-classe de FoodForFn animal
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2289-2289 Avocado est une sous-classe de FoodForFn animal
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2378-2378 Coconut est une sous-classe de FoodForFn animal
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2196-2196 DateFruit est une sous-classe de FoodForFn animal
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 23250-23250 Honey est une sous-classe de FoodForFn animal
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2335-2335 LemonFruit est une sous-classe de FoodForFn animal
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2349-2349 OrangeFruit est une sous-classe de FoodForFn animal
(subclass Pea
    (FoodForFn Animal))		 Economy.kif 4450-4450 Pea est une sous-classe de FoodForFn animal
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2201-2201 PearFruit est une sous-classe de FoodForFn animal
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3696-3696 WineGrape est une sous-classe de FoodForFn 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 3.0 is open source software produced by Articulate Software and its partners