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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17895-17897
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 910-910
(subclass PreparedFood Object) Mid-level-ontology.kif 17894-17894

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


(subclass Aioli PreparedFood) Food.kif 407-407
(subclass Bacon PreparedFood) Food.kif 460-460
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 17996-17996
(subclass Calamari PreparedFood) Food.kif 487-487
(subclass Cappuccino PreparedFood) Food.kif 498-498
(subclass Chocolate PreparedFood) Food.kif 518-518
(subclass Coffee PreparedFood) Mid-level-ontology.kif 18118-18118
(subclass DairyArtifact PreparedFood) Food.kif 968-968
(subclass Dough PreparedFood) Mid-level-ontology.kif 18030-18030
(subclass Flour PreparedFood) Mid-level-ontology.kif 18074-18074
(subclass Ketchup PreparedFood) Food.kif 610-610
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 17924-17924
(subclass Mayonnaise PreparedFood) Food.kif 651-651
(subclass Omelette PreparedFood) Food.kif 682-682
(subclass Pasta PreparedFood) Food.kif 716-716
(subclass Pickle PreparedFood) Food.kif 748-748
(subclass Raisin PreparedFood) Food.kif 780-780
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 18011-18011
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 17911-17911
(subclass Sorbet PreparedFood) Food.kif 875-875
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 18112-18112
(subclass Tea PreparedFood) Mid-level-ontology.kif 8474-8474
(subclass Tofu PreparedFood) Food.kif 935-935
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47192-47192
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") domainEnglishFormat.kif 47191-47191

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

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 17904-17909
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 17900-17902

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 21612-21620
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 3003-3010
(=>
    (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 1931-1949
(=>
    (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 23158-23175


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