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 14964-14967
(domainSubclass FoodForFn 1 Organism) Merge.kif 14962-14962 域子類 FoodForFn, 1 and Organism
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png") pictureList.kif 440-440 域子類 FoodForFn, 1 and Organism
(instance FoodForFn UnaryFunction) Merge.kif 14961-14961 例 FoodForFn and UnaryFunction
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14963-14963 範圍子類 FoodForFn and SelfConnectedObject

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 21631-21631 相關的內部概念 飼料 and FoodForFn
(termFormat EnglishLanguage FoodForFn "food for fn") domainEnglishFormat.kif 64901-64901 相關的內部概念 飼料 and 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 14969-14974
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17765-17770

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 4530-4539
(=>
    (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 22225-22247
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10347-10353
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))		 Mid-level-ontology.kif 12903-12907
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))		 Mid-level-ontology.kif 12925-12929
(=>
    (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 2455-2464
(=>
    (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 21635-21644
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Economy.kif 5144-5153
(=>
    (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 8468-8478
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Human))
            (result ?COOK ?FOOD))))		 Merge.kif 12972-12977
(=>
    (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 4904-4913
(=>
    (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 1584-1597
(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))		 Mid-level-ontology.kif 9007-9014
(=>
    (instance ?T MilitaryFoodTruck)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Transportation)
                (instance ?F
                    (FoodForFn Animal))
                (patient ?P ?F))) instrument ?T))		 Military.kif 277-285
(=>
    (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 4370-4375
(=>
    (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 1723-1725

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 13986-13986 等於 Blood and food for Mosquito
(equal Food
    (FoodForFn Human))		 Merge.kif 14977-14977 等於 Food and food for Human
(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1869-1869 Food for Animal 是 食品製造業 的 industry 產品類別
(subclass Apple
    (FoodForFn Animal))		 Food.kif 2180-2180 子類 蘋果 and food for Animal
(subclass Avocado
    (FoodForFn Animal))		 Food.kif 2282-2282 子類 鱷梨 and food for Animal
(subclass Coconut
    (FoodForFn Animal))		 Food.kif 2371-2371 子類 椰子 and food for Animal
(subclass DateFruit
    (FoodForFn Animal))		 Food.kif 2189-2189 子類 日期水果 and food for Animal
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 23257-23257 子類 蜜糖 and food for Animal
(subclass LemonFruit
    (FoodForFn Animal))		 Food.kif 2328-2328 子類 檸檬水果 and food for Animal
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2342-2342 子類 橙色水果 and food for Animal
(subclass Pea
    (FoodForFn Animal))		 Economy.kif 4448-4448 子類 豌豆 and food for Animal
(subclass PearFruit
    (FoodForFn Animal))		 Food.kif 2194-2194 子類 梨果 and food for Animal
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3689-3689 子類 釀酒葡萄 and food for 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 3.0 is open source software produced by Articulate Software and its partners