Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PreparedFood
PreparedFood(prepared food)
Belgian_beef_stew, Belgian_waffle, Bercy, Bercy_butter, Berlin_doughnut, Bologna_sausage, Boston_baked_beans, Boston_cream_pie, Brunswick_stew, Burgundy_sauce, Chinese_brown_sauce, Chinese_fried_rice, Christmas_cake, Colbert, Colbert_butter, Cornish_pasty, Eccles_cake, Espagnole, Fanny_Adams, French_dressing, French_pastry, French_toast, Hungarian_goulash, Hungarian_sauce, Indian_relish, Irish_burgoo, Irish_stew, Italian_dressing, Italian_rice, Life_Saver, Lorenzo_dressing, Lyonnaise_sauce, Madeira_cake, Madeira_sponge, Manhattan_clam_chowder, Maryland_chicken, Mornay_sauce, Nantua, New_England_boiled_dinner, New_England_clam_chowder, Newburg_sauce, Philadelphia_pepper_pot, Poivrade, Roquefort_dressing, Russian_dressing, Russian_mayonnaise, Sally_Lunn, Scotch_broth, Scotch_egg, Scotch_kiss...

appearance as argument number 1
-------------------------


s__documentation(s__PreparedFood,s__EnglishLanguage,'"PreparedFood refers to anything that undergoes some process intended to result in an object that has Nutrient which can be ingested by Animal, normally metabolized into energy and body tissue."')

Mid-level-ontology.kif 20054-20056
s__externalImage(s__PreparedFood,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg"')

pictureList.kif 910-910
s__instance(s__Object,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__PreparedFood,s__Object)

Mid-level-ontology.kif 20053-20053 Prepared food is a subclass of object

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


s__instance(s__Aioli,s__SetOrClass)

s__subclass(s__Aioli,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 407-407 Aioli is a subclass of prepared food
s__instance(s__Bacon,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__Bacon,s__PreparedFood)

Food.kif 460-460 Bacon is a subclass of prepared food
s__instance(s__BreadOrBiscuit,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__BreadOrBiscuit,s__PreparedFood)

Mid-level-ontology.kif 20155-20155 Bread or biscuit is a subclass of prepared food
s__instance(s__Calamari,s__SetOrClass)

s__subclass(s__Calamari,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 487-487 Calamari is a subclass of prepared food
s__instance(s__Cappuccino,s__SetOrClass)

s__subclass(s__Cappuccino,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 498-498 Cappuccino is a subclass of prepared food
s__instance(s__Chocolate,s__SetOrClass)

s__subclass(s__Chocolate,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 518-518 Chocolate is a subclass of prepared food
s__subclass(s__Coffee,s__PreparedFood)

s__instance(s__Coffee,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

Mid-level-ontology.kif 20314-20314 Coffee is a subclass of prepared food
s__instance(s__DairyArtifact,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__DairyArtifact,s__PreparedFood)

Food.kif 968-968 Dairy product is a subclass of prepared food
s__subclass(s__Dough,s__PreparedFood)

s__instance(s__Dough,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

Mid-level-ontology.kif 20189-20189 Dough is a subclass of prepared food
s__instance(s__Flour,s__SetOrClass)

s__subclass(s__Flour,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Mid-level-ontology.kif 20233-20233 Flour is a subclass of prepared food
s__instance(s__Ketchup,s__SetOrClass)

s__subclass(s__Ketchup,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 610-610 Ketchup is a subclass of prepared food
s__instance(s__LiquidFood,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__LiquidFood,s__PreparedFood)

Mid-level-ontology.kif 20083-20083 Liquid food is a subclass of prepared food
s__subclass(s__Mayonnaise,s__PreparedFood)

s__instance(s__Mayonnaise,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 651-651 Mayonnaise is a subclass of prepared food
s__instance(s__Omelette,s__SetOrClass)

s__subclass(s__Omelette,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 682-682 Omelette is a subclass of prepared food
s__instance(s__Pasta,s__SetOrClass)

s__subclass(s__Pasta,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 716-716 Pasta is a subclass of prepared food
s__subclass(s__Pickle,s__PreparedFood)

s__instance(s__Pickle,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 748-748 Pickle is a subclass of prepared food
s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__Raisin,s__PreparedFood)

s__instance(s__Raisin,s__SetOrClass)

Food.kif 780-780 Raisin is a subclass of prepared food
s__instance(s__Sandwich,s__SetOrClass)

s__subclass(s__Sandwich,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Mid-level-ontology.kif 20170-20170 Sandwich is a subclass of prepared food
s__instance(s__SolidFood,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__SolidFood,s__PreparedFood)

Mid-level-ontology.kif 20070-20070 Solid food is a subclass of prepared food
s__subclass(s__Sorbet,s__PreparedFood)

s__instance(s__Sorbet,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 875-875 Sorbet is a subclass of prepared food
s__instance(s__SoupStock,s__SetOrClass)

s__instance(s__PreparedFood,s__SetOrClass)

s__subclass(s__SoupStock,s__PreparedFood)

Mid-level-ontology.kif 20271-20271 Soup stock is a subclass of prepared food
s__instance(s__Tea,s__SetOrClass)

s__subclass(s__Tea,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Mid-level-ontology.kif 9819-9819 Tea is a subclass of prepared food
s__instance(s__Tofu,s__SetOrClass)

s__subclass(s__Tofu,s__PreparedFood)

s__instance(s__PreparedFood,s__SetOrClass)

Food.kif 935-935 Tofu is a subclass of prepared food
s__termFormat(s__ChineseLanguage,s__PreparedFood,'"已准备食物"')

domainEnglishFormat.kif 47193-47193
s__termFormat(s__ChineseTraditionalLanguage,s__PreparedFood,'"已準備食物"')

domainEnglishFormat.kif 47192-47192

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domainSubclass(s__ingredient__m,n__2,s__PreparedFood)

Food.kif 52-52 The number 2 argument of ingredient is a subclass of prepared food

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


( ! [V__X] :
   ((s__instance(V__X,s__PreparedFood) =>
       (( ? [V__PROC] :
           ((s__instance(V__PROC,s__IntentionalProcess) &
               s__result(V__PROC,V__X))))))
   )
)

Mid-level-ontology.kif 20063-20068
( ! [V__X] :
   ((s__instance(V__X,s__PreparedFood) =>
       (s__instance(V__X,s__FoodForFn(s__Organism))))
   )
)

Mid-level-ontology.kif 20059-20061

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


( ! [V__OBJ,V__ATTR] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__attribute(V__OBJ,V__ATTR)
           &
           s__instance(V__ATTR,s__FoodAttribute))
         =>
         (s__instance(V__OBJ,s__PreparedFood)))))
   )
)

Dining.kif 1083-1087
( ! [V__X,V__Y] :
   ((s__instance(V__X,s__Object) =>
       (((s__attribute(V__X,V__Y)
           &
           s__instance(V__Y,s__Cuisine))
         =>
         (s__instance(V__X,s__PreparedFood)))))
   )
)

Dining.kif 1215-1219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23973-23981
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3003-3010
( ! [V__SVC] :
   ((s__instance(V__SVC,s__RoomService) =>
       (( ? [V__AGENT, V__FOOD, V__CUSTOMER, V__RQST, V__ORDER, V__DELIVERY, V__LOC] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUSTOMER,s__CognitiveAgent) &
               (s__customer(V__CUSTOMER,V__AGENT)
               &
               s__agent(V__SVC,V__AGENT)
             &
             s__instance(V__RQST,s__Requesting) &
             s__agent(V__RQST,V__CUSTOMER)
           &
           s__patient(V__RQST,V__ORDER)
         &
         s__represents(V__ORDER,V__FOOD)
       &
       s__instance(V__FOOD,s__PreparedFood) &
       s__located(V__CUSTOMER,V__LOC)
     &
     s__instance(V__LOC,s__HotelUnit) &
     s__instance(V__DELIVERY,s__DeliveryService) &
     s__patient(V__DELIVERY,V__FOOD)
   &
   s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__RQST))
,s__BeginFn(s__WhenFn(V__DELIVERY)))))))))
)
)

Hotel.kif 1931-1949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25532-25549


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