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 13786-13789
s__domainSubclass(s__FoodForFn__m,n__1,s__Organism)

Merge.kif 13784-13784 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 13783-13783 FoodForFn is an instance of unary function
s__rangeSubclass(s__FoodForFn__m,s__SelfConnectedObject)

Merge.kif 13785-13785 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 3471-3471
s__format(s__ChineseTraditionalLanguage,s__FoodForFn__m,'"food for %1 "')

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

domainEnglishFormat.kif 3469-3469

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 13791-13796
( ! [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 16380-16385

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


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

Merge.kif 9631-9635
( ! [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 9778-9782
( ! [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 9799-9803
( ! [V__MENU,V__X] :
   ((s__instance(V__X,s__SetOrClass) &
       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__Object) &
           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 2441-2450
( ! [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 11591-11599
( ! [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 6947-6957
( ! [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 11891-11896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4901-4910
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 19322-19335
( ! [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 7525-7532
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__Object) =>
         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 1671-1673
( ! [V__X] :
   (s__instance(V__X,s__Meal) =>
     ( ! [V__ITEM] :
       (s__instance(V__ITEM,s__Object) =>
         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 19196-19198

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


(s__Food = s__FoodForFn(s__Human))

Merge.kif 13799-13799 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 19452-19452 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 19467-19467 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 19417-19417 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 19457-19457 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 17789-17789 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 19403-19403 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 19381-19381 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 19462-19462 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners