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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreparedFood

Sigma KEE - PreparedFood
PreparedFood

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
(subclass PreparedFood Object) Mid-level-ontology.kif 19178-19178

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


(subclass Aioli PreparedFood) Food.kif 452-452
(subclass Bacon PreparedFood) Food.kif 505-505
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19291-19291
(subclass Butter PreparedFood) Mid-level-ontology.kif 19338-19338
(subclass Calamari PreparedFood) Food.kif 532-532
(subclass Cappuccino PreparedFood) Food.kif 543-543
(subclass Cheese PreparedFood) Food.kif 816-816
(subclass Chocolate PreparedFood) Food.kif 563-563
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19434-19434
(subclass Dough PreparedFood) Mid-level-ontology.kif 19324-19324
(subclass Flour PreparedFood) Mid-level-ontology.kif 19375-19375
(subclass Ketchup PreparedFood) Food.kif 655-655
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 19207-19207
(subclass Mayonnaise PreparedFood) Food.kif 693-693
(subclass Omelette PreparedFood) Food.kif 724-724
(subclass Pasta PreparedFood) Food.kif 758-758
(subclass Pickle PreparedFood) Food.kif 790-790
(subclass Raisin PreparedFood) Food.kif 822-822
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 19305-19305
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 19195-19195
(subclass Sorbet PreparedFood) Food.kif 917-917
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 19428-19428
(subclass Tea PreparedFood) Mid-level-ontology.kif 9334-9334
(subclass Tofu PreparedFood) Food.kif 977-977
(termFormat EnglishLanguage PreparedFood "food") Mid-level-ontology.kif 19182-19182

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

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners