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
-------------------------


s__documentation(s__FoodForFn__m,s__ChineseLanguage,'"这是一个 Function,它用来表示 SelfConnectedObject 所含的 Nutrient,如碳水化物、蛋白质和脂肪等,它们可以由某一类有生命的 Animal 摄入体内然后经过 新陈代谢成为能量和身体组织。"')

chinese_format.kif 3482-3484
s__documentation(s__FoodForFn__m,s__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 14163-14166
s__domainSubclass(s__FoodForFn__m,n__1,s__Organism)

Merge.kif 14161-14161 The number 1 argument of FoodForFn is a subclass of organism
s__externalImage(s__FoodForFn__m,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ food.png"')

pictureList.kif 440-440
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__FoodForFn__m,s__UnaryFunction)

Merge.kif 14160-14160 FoodForFn is an instance of unary function
s__rangeSubclass(s__FoodForFn__m,s__SelfConnectedObject)

Merge.kif 14162-14162 The values returned by FoodForFn are subclasses of self connected object

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


s__format(s__ChineseLanguage,s__FoodForFn__m,'"food for %1 "')

domainEnglishFormat.kif 3475-3475
s__format(s__ChineseTraditionalLanguage,s__FoodForFn__m,'"food for %1 "')

domainEnglishFormat.kif 3474-3474
s__format(s__EnglishLanguage,s__FoodForFn__m,'"food for %1"')

domainEnglishFormat.kif 3473-3473

antecedent
-------------------------


( ! [V__JUDGE,V__X] :
   (((s__instance(V__JUDGE,s__Agent) &
         s__instance(V__X,s__Object))
       =>
       (((s__subjectiveAttribute(V__X,s__Won,V__JUDGE)
           &
           s__instance(V__X,s__FoodForFn(s__Human)))
       =>
       (( ? [V__CONTEST, V__AGENT, V__PROC] :
           ((s__instance(V__CONTEST,s__Contest) &
               s__instance(V__AGENT,s__Agent) &
               (s__contestObject(V__CONTEST,V__X,V__AGENT)
               &
               s__instance(V__PROC,s__Judging) &
               s__agent(V__PROC,V__JUDGE)
             &
             s__subProcess(V__PROC,V__CONTEST)))))))))
)
)

Dining.kif 853-862
( ! [V__A,V__FOOD] :
   (((s__subclass(V__A,s__Organism) &
         s__instance(V__FOOD,s__Object))
       =>
       ((s__instance(V__FOOD,s__FoodForFn(V__A))
       =>
       (( ? [V__NUTRIENT] :
           ((s__instance(V__NUTRIENT,s__Nutrient) &
               s__part(V__NUTRIENT,V__FOOD))))))))
)
)

Merge.kif 14168-14173
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__instance(V__OBJ,s__FoodForFn(s__Animal))
         =>
         (( ? [V__ATTR] :
             ((s__instance(V__ATTR,s__TasteAttribute) &
                 s__attribute(V__OBJ,V__ATTR))))))))
)
)

Merge.kif 16807-16812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18705-18726
( ! [V__F,V__ACT] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__ACT,s__Ingesting) &
             s__resource(V__ACT,V__F))
         =>
         ((s__instance(V__F,s__FoodForFn(s__Organism))
           |
           s__instance(V__F,s__Medicine))))))
)
)

Merge.kif 9820-9826
( ! [V__CHEW,V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       (((s__instance(V__CHEW,s__Chewing) &
             s__resource(V__CHEW,V__FOOD))
         =>
         (s__instance(V__FOOD,s__FoodForFn(s__Organism))))))
)
)

Mid-level-ontology.kif 10151-10155
( ! [V__O,V__F] :
   (((s__instance(V__F,s__Feeding) &
         s__patient(V__F,V__O))
     =>
     (s__instance(V__O,s__FoodForFn(s__Animal))))
)
)

Mid-level-ontology.kif 10173-10177
( ! [V__MENU,V__X] :
   (((s__instance(V__X,s__Class) &
         s__subclass(V__X,s__Entity))
       =>
       (((s__instance(V__MENU,s__Menu) &
             s__catalogItem(V__X,V__MENU))
         =>
         (s__subclass(V__X,s__FoodForFn(s__Human))))))
)
)

Dining.kif 178-182
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FoodAndBeverageStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   (s__instance(V__THING,s__FoodForFn(s__Animal))
                   |
                   s__instance(V__THING,s__Beverage))
                 &
                 s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7326-7340
( ! [V__AGENT,V__P,V__CUST,V__FOOD] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__CUST,s__Agent))
       =>
       (((s__instance(V__P,s__FoodPickup) &
             s__agent(V__P,V__AGENT)
           &
           s__destination(V__P,V__CUST)
         &
         s__patient(V__P,V__FOOD))
     =>
     ((s__instance(V__FOOD,s__FoodForFn(s__Human))
       &
       ( ? [V__LOC, V__T, V__G] :
         ((s__instance(V__LOC,s__Object) &
             (s__located(V__AGENT,V__LOC)
             &
             s__instance(V__T,s__Translocation) &
             s__agent(V__T,V__CUST)
           &
           s__destination(V__T,V__LOC)
         &
         s__instance(V__G,s__Getting) &
         s__origin(V__G,V__AGENT)
       &
       s__destination(V__G,V__CUST)
     &
     s__patient(V__G,V__FOOD))))))))))
)
)

Dining.kif 564-581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1923-1932
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__RawAttribute) =>
           (s__instance(V__FOOD,s__FoodForFn(s__Organism))))))
   )
)

Food.kif 34-36
No TPTP formula. May not be expressible in strict first order. naics.kif 11675-11683
( ! [V__BAKERY] :
   ((s__instance(V__BAKERY,s__Bakery) =>
       (( ? [V__SERVICE, V__FOOD, V__BAKE] :
           ((s__instance(V__BAKE,s__Baking) &
               s__result(V__BAKE,V__FOOD)
             &
             s__instance(V__FOOD,s__FoodForFn(s__Human))
           &
           s__agent(V__BAKE,V__BAKERY)
         &
         s__instance(V__SERVICE,s__CommercialService) &
         s__agent(V__SERVICE,V__BAKERY)
       &
       s__instance(V__SERVICE,s__Selling) &
       s__patient(V__SERVICE,V__FOOD))))))
)
)

Dining.kif 70-81
( ! [V__C] :
   ((s__instance(V__C,s__Restaurant) =>
       (( ? [V__S, V__F, V__B] :
           ((s__instance(V__S,s__CommercialService) &
               s__agent(V__S,V__C)
             &
             s__instance(V__S,s__Selling) &
             s__instance(V__B,s__RestaurantBuilding) &
             s__eventLocated(V__S,V__B)
           &
           s__patient(V__S,V__F)
         &
         s__instance(V__F,s__FoodForFn(s__Human)))))))
)
)

Mid-level-ontology.kif 6629-6639
( ! [V__COOK] :
   ((s__instance(V__COOK,s__Cooking) =>
       (( ? [V__FOOD] :
           ((s__instance(V__FOOD,s__FoodForFn(s__Organism))
             &
             s__result(V__COOK,V__FOOD))))))
)
)

Merge.kif 12215-12220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4303-4312
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
( ! [V__S] :
   ((s__instance(V__S,s__Sandwich) =>
       (( ? [V__B1, V__B2, V__F] :
           ((s__instance(V__F,s__Object) &
               (s__instance(V__B1,s__BreadOrBiscuit) &
                 s__instance(V__B2,s__BreadOrBiscuit) &
                 s__instance(V__F,s__FoodForFn(s__Human))
               &
               s__between(V__B1,V__F,V__B2)
             &
             ~((V__B1 = V__B2))
             &
             ~((V__B1 = V__F))
             &
             ~((V__B2 = V__F))
             &
             s__part(V__B1,V__S)
           &
           s__part(V__B2,V__S)
         &
         s__part(V__F,V__S)))))))
)
)

Mid-level-ontology.kif 19729-19742
( ! [V__STORE] :
   ((s__instance(V__STORE,s__GroceryStore) =>
       (( ? [V__SELL, V__FOOD] :
           ((s__instance(V__SELL,s__Selling) &
               s__agent(V__SELL,V__STORE)
             &
             s__patient(V__SELL,V__FOOD)
           &
           s__instance(V__FOOD,s__FoodForFn(s__Animal)))))))
)
)

Mid-level-ontology.kif 7175-7182
No TPTP formula. May not be expressible in strict first order. Military.kif 210-218
( ! [V__X] :
   ((s__instance(V__X,s__Buffet) =>
       (( ! [V__ITEM] :
           ((s__instance(V__ITEM,s__Physical) =>
               ((s__member(V__ITEM,V__X)
                 =>
                 (s__instance(V__ITEM,s__FoodForFn(s__Human))))))))))
)
)

Dining.kif 256-261
( ! [V__X] :
   ((s__instance(V__X,s__HotelMiniBar) =>
       (s__memberType(V__X,s__FoodForFn(s__Human))))
   )
)

Hotel.kif 1685-1687
( ! [V__X] :
   ((s__instance(V__X,s__Meal) =>
       (( ! [V__ITEM] :
           ((s__instance(V__ITEM,s__Physical) =>
               ((s__member(V__ITEM,V__X)
                 =>
                 (s__instance(V__ITEM,s__FoodForFn(s__Human))))))))))
)
)

Food.kif 92-97
( ! [V__X] :
   ((s__instance(V__X,s__PreparedFood) =>
       (s__instance(V__X,s__FoodForFn(s__Organism))))
   )
)

Mid-level-ontology.kif 19614-19616

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


(s__Food = s__FoodForFn(s__Human))

Merge.kif 14176-14176 Food is equal to food for human
s__industryProductType(s__FoodManufacturing,s__FoodForFn(s__Animal))

Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
s__instance(s__Apple,s__SetOrClass)

s__subclass(s__Apple,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19881-19881 Apple is a subclass of food for animal
s__subclass(s__Avocado,s__FoodForFn(s__Animal))

s__instance(s__Avocado,s__SetOrClass)

Mid-level-ontology.kif 19896-19896 Avocado is a subclass of food for animal
s__instance(s__Coconut,s__SetOrClass)

s__subclass(s__Coconut,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19818-19818 Coconut is a subclass of food for animal
s__subclass(s__DateFruit,s__FoodForFn(s__Animal))

s__instance(s__DateFruit,s__SetOrClass)

Mid-level-ontology.kif 19886-19886 Date fruit is a subclass of food for animal
s__instance(s__Fodder,s__SetOrClass)

s__subclass(s__Fodder,s__FoodForFn(s__DomesticAnimal))

Mid-level-ontology.kif 18140-18140 Fodder is a subclass of food for domestic animal
s__instance(s__Honey,s__SetOrClass)

s__subclass(s__Honey,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19804-19804 Honey is a subclass of food for animal
s__subclass(s__LemonFruit,s__FoodForFn(s__Animal))

s__instance(s__LemonFruit,s__SetOrClass)

Economy.kif 3947-3947 Lemon fruit is a subclass of food for animal
s__instance(s__OrangeFruit,s__SetOrClass)

s__subclass(s__OrangeFruit,s__FoodForFn(s__Animal))

Economy.kif 3954-3954 Orange fruit is a subclass of food for animal
s__instance(s__Pea,s__SetOrClass)

s__subclass(s__Pea,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19785-19785 Pea is a subclass of food for animal
s__instance(s__PearFruit,s__SetOrClass)

s__subclass(s__PearFruit,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19891-19891 Pear fruit is a subclass of 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