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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreparedFood

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

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


(subclass Aioli PreparedFood) Food.kif 389-389 Aioli is a subclass of prepared food
(subclass Bacon PreparedFood) Food.kif 442-442 Bacon is a subclass of prepared food
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 20937-20937 Bread or biscuit is a subclass of prepared food
(subclass Calamari PreparedFood) Food.kif 469-469 Calamari is a subclass of prepared food
(subclass Cappuccino PreparedFood) Food.kif 480-480 Cappuccino is a subclass of prepared food
(subclass Chocolate PreparedFood) Food.kif 500-500 Chocolate is a subclass of prepared food
(subclass Coffee PreparedFood) Mid-level-ontology.kif 21096-21096 Coffee is a subclass of prepared food
(subclass DairyArtifact PreparedFood) Food.kif 950-950 Dairy product is a subclass of prepared food
(subclass Dough PreparedFood) Mid-level-ontology.kif 20971-20971 Dough is a subclass of prepared food
(subclass Flour PreparedFood) Mid-level-ontology.kif 21015-21015 Flour is a subclass of prepared food
(subclass Ketchup PreparedFood) Food.kif 592-592 Ketchup is a subclass of prepared food
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 20865-20865 Liquid food is a subclass of prepared food
(subclass Mayonnaise PreparedFood) Food.kif 633-633 Mayonnaise is a subclass of prepared food
(subclass Omelette PreparedFood) Food.kif 664-664 Omelette is a subclass of prepared food
(subclass Pasta PreparedFood) Food.kif 698-698 Pasta is a subclass of prepared food
(subclass Pickle PreparedFood) Food.kif 730-730 Pickle is a subclass of prepared food
(subclass Raisin PreparedFood) Food.kif 762-762 Raisin is a subclass of prepared food
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 20952-20952 Sandwich is a subclass of prepared food
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 20852-20852 Solid food is a subclass of prepared food
(subclass Sorbet PreparedFood) Food.kif 857-857 Sorbet is a subclass of prepared food
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 21053-21053 Soup stock is a subclass of prepared food
(subclass Tea PreparedFood) Mid-level-ontology.kif 10404-10404 Tea is a subclass of prepared food
(subclass Tofu PreparedFood) Food.kif 917-917 Tofu is a subclass of prepared food
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47193-47193
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") domainEnglishFormat.kif 47192-47192

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 20845-20850
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 20841-20843

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1083-1087
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1215-1219
(=>
    (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 24754-24762
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 3016-3023
(=>
    (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 1944-1962
(=>
    (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 26312-26329


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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