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


(documentation PreparedFood 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 19216-19218
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 910-910
(subclass PreparedFood Object) Mid-level-ontology.kif 19215-19215 Prepared food is a subclass of object

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


(subclass Aioli PreparedFood) Food.kif 407-407 Aioli is a subclass of prepared food
(subclass Bacon PreparedFood) Food.kif 460-460 Bacon is a subclass of prepared food
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19329-19329 Bread or biscuit is a subclass of prepared food
(subclass Butter PreparedFood) Mid-level-ontology.kif 19376-19376 Butter is a subclass of prepared food
(subclass Calamari PreparedFood) Food.kif 487-487 Calamari is a subclass of prepared food
(subclass Cappuccino PreparedFood) Food.kif 498-498 Cappuccino is a subclass of prepared food
(subclass Cheese PreparedFood) Food.kif 771-771 Cheese is a subclass of prepared food
(subclass Chocolate PreparedFood) Food.kif 518-518 Chocolate is a subclass of prepared food
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19472-19472 Coffee is a subclass of prepared food
(subclass Dough PreparedFood) Mid-level-ontology.kif 19362-19362 Dough is a subclass of prepared food
(subclass Flour PreparedFood) Mid-level-ontology.kif 19413-19413 Flour is a subclass of prepared food
(subclass Ketchup PreparedFood) Food.kif 610-610 Ketchup is a subclass of prepared food
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 19245-19245 Liquid food is a subclass of prepared food
(subclass Mayonnaise PreparedFood) Food.kif 648-648 Mayonnaise is a subclass of prepared food
(subclass Omelette PreparedFood) Food.kif 679-679 Omelette is a subclass of prepared food
(subclass Pasta PreparedFood) Food.kif 713-713 Pasta is a subclass of prepared food
(subclass Pickle PreparedFood) Food.kif 745-745 Pickle is a subclass of prepared food
(subclass Raisin PreparedFood) Food.kif 777-777 Raisin is a subclass of prepared food
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 19343-19343 Sandwich is a subclass of prepared food
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 19232-19232 Solid food is a subclass of prepared food
(subclass Sorbet PreparedFood) Food.kif 872-872 Sorbet is a subclass of prepared food
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 19466-19466 Soup stock is a subclass of prepared food
(subclass Tea PreparedFood) Mid-level-ontology.kif 9316-9316 Tea is a subclass of prepared food
(subclass Tofu PreparedFood) Food.kif 932-932 Tofu is a subclass of prepared food
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47129-47129

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19225-19230
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19221-19223

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1080-1084
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1209-1213
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))
Mid-level-ontology.kif 23350-23358
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 2989-2996
(=>
    (instance ?SVC RoomService)
    (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
        (and
            (customer ?CUSTOMER ?AGENT)
            (agent ?SVC ?AGENT)
            (instance ?RQST Requesting)
            (agent ?RQST ?CUSTOMER)
            (patient ?RQST ?ORDER)
            (represents ?ORDER ?FOOD)
            (instance ?FOOD PreparedFood)
            (located ?CUSTOMER ?LOC)
            (instance ?LOC HotelUnit)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?FOOD)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?RQST))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1917-1935
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))
Mid-level-ontology.kif 25176-25193


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