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

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


(subclass Aioli PreparedFood) Food.kif 452-452 Aioli is a subclass of prepared food
(subclass Bacon PreparedFood) Food.kif 505-505 Bacon is a subclass of prepared food
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19291-19291 Bread or biscuit is a subclass of prepared food
(subclass Butter PreparedFood) Mid-level-ontology.kif 19338-19338 Butter is a subclass of prepared food
(subclass Calamari PreparedFood) Food.kif 532-532 Calamari is a subclass of prepared food
(subclass Cappuccino PreparedFood) Food.kif 543-543 Cappuccino is a subclass of prepared food
(subclass Cheese PreparedFood) Food.kif 816-816 Cheese is a subclass of prepared food
(subclass Chocolate PreparedFood) Food.kif 563-563 Chocolate is a subclass of prepared food
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19434-19434 Coffee is a subclass of prepared food
(subclass Dough PreparedFood) Mid-level-ontology.kif 19324-19324 Dough is a subclass of prepared food
(subclass Flour PreparedFood) Mid-level-ontology.kif 19375-19375 Flour is a subclass of prepared food
(subclass Ketchup PreparedFood) Food.kif 655-655 Ketchup is a subclass of prepared food
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 19207-19207 Liquid food is a subclass of prepared food
(subclass Mayonnaise PreparedFood) Food.kif 693-693 Mayonnaise is a subclass of prepared food
(subclass Omelette PreparedFood) Food.kif 724-724 Omelette is a subclass of prepared food
(subclass Pasta PreparedFood) Food.kif 758-758 Pasta is a subclass of prepared food
(subclass Pickle PreparedFood) Food.kif 790-790 Pickle is a subclass of prepared food
(subclass Raisin PreparedFood) Food.kif 822-822 Raisin is a subclass of prepared food
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 19305-19305 Sandwich is a subclass of prepared food
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 19195-19195 Solid food is a subclass of prepared food
(subclass Sorbet PreparedFood) Food.kif 917-917 Sorbet is a subclass of prepared food
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 19428-19428 Soup stock is a subclass of prepared food
(subclass Tea PreparedFood) Mid-level-ontology.kif 9334-9334 Tea is a subclass of prepared food
(subclass Tofu PreparedFood) Food.kif 977-977 Tofu is a subclass of prepared food
(termFormat EnglishLanguage PreparedFood "food") Mid-level-ontology.kif 19182-19182 "food" is the printable form of prepared food in english language

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 100-100 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 19188-19193
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19184-19186

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1084-1088
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1213-1217
(=>
    (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 23312-23320
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 2983-2990
(=>
    (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 1913-1931
(=>
    (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 25138-25155


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